diff options
-rw-r--r-- | psi/interp.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/psi/interp.h b/psi/interp.h index 5e5ca583e..e9275b963 100644 --- a/psi/interp.h +++ b/psi/interp.h | |||
@@ -24,6 +24,9 @@ | |||
24 | /* Enter a name and value into systemdict. */ | 24 | /* Enter a name and value into systemdict. */ |
25 | int i_initial_enter_name(i_ctx_t *, const char *, const ref *); | 25 | int i_initial_enter_name(i_ctx_t *, const char *, const ref *); |
26 | 26 | ||
27 | /* Enter a (transient) name and value into systemdict. */ | ||
28 | int i_initial_enter_name_copy(i_ctx_t *, const char *, const ref *); | ||
29 | |||
27 | /* Remove a name from systemdict. */ | 30 | /* Remove a name from systemdict. */ |
28 | void i_initial_remove_name(i_ctx_t *, const char *); | 31 | void i_initial_remove_name(i_ctx_t *, const char *); |
29 | 32 | ||