summaryrefslogtreecommitdiff
path: root/embed.pl
diff options
context:
space:
mode:
Diffstat (limited to 'embed.pl')
-rwxr-xr-xembed.pl2
1 files changed, 1 insertions, 1 deletions
diff --git a/embed.pl b/embed.pl
index cca15c4443..c311f9aa35 100755
--- a/embed.pl
+++ b/embed.pl
@@ -1196,7 +1196,7 @@ p |void |init_debugger
p |void |init_stacks
p |U32 |intro_my
p |char* |instr |const char* big|const char* little
-p |bool |io_close |IO* io
+p |bool |io_close |IO* io|bool not_implicit
p |OP* |invert |OP* cmd
p |bool |is_uni_alnum |U32 c
p |bool |is_uni_alnumc |U32 c