diff options
Diffstat (limited to 'otherlibs/labltk/support')
| -rw-r--r-- | otherlibs/labltk/support/slave.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/otherlibs/labltk/support/slave.ml b/otherlibs/labltk/support/slave.ml index 5352285c3..e3259fc66 100644 --- a/otherlibs/labltk/support/slave.ml +++ b/otherlibs/labltk/support/slave.ml @@ -28,13 +28,14 @@ let dynload args = (* Default modules include everything from let default_modules = [] +*) (* [caml::run foo.cmo .. bar.cmo] is now available from Tcl *) let init () = Dynlink.init(); (* Make it unsafe by default, with everything available *) Dynlink.allow_unsafe_modules true; - Dynlink.add_interfaces [] [] + Dynlink.add_interfaces [] []; let s = register_callback Widget.dummy dynload in tcl_command (sprintf "proc caml::run {l} {camlcb %s l}" s) |