diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-07-17 23:04:13 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-07-17 23:04:13 +0000 |
commit | b4d368f41aed6376b9ff504b597244eb2c6cf3d5 (patch) | |
tree | d16cfe5f16d31c1285fbacf557e62cf79e3fdf1b /otherlibs | |
parent | d9d3e91ea1caaa084d4d23776e3c03ce0befefd3 (diff) | |
download | ocaml-b4d368f41aed6376b9ff504b597244eb2c6cf3d5.tar.gz |
cleaner
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
-rw-r--r-- | otherlibs/labltk/support/cltkMain.c | 1 | ||||
-rw-r--r-- | otherlibs/labltk/support/protocol.ml | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/otherlibs/labltk/support/cltkMain.c b/otherlibs/labltk/support/cltkMain.c index 8d3df6ad85..6047f85519 100644 --- a/otherlibs/labltk/support/cltkMain.c +++ b/otherlibs/labltk/support/cltkMain.c @@ -21,6 +21,7 @@ #include <tk.h> #include <mlvalues.h> #include <memory.h> +#include <alloc.h> #include <callback.h> #include <signals.h> #include <fail.h> diff --git a/otherlibs/labltk/support/protocol.ml b/otherlibs/labltk/support/protocol.ml index 51e363ab74..586c937b4f 100644 --- a/otherlibs/labltk/support/protocol.ml +++ b/otherlibs/labltk/support/protocol.ml @@ -53,11 +53,11 @@ let tcl_command s = ignore (tcl_eval s);; exception TkError of string (* Raised by the communication functions *) -let _ = Callback.register_exception "tkerror" (TkError "") +let () = Callback.register_exception "tkerror" (TkError "") let cltclinterp = ref Nativeint.zero (* For use in other extensions *) -let _ = Callback.register "cltclinterp" cltclinterp +let () = Callback.register "cltclinterp" cltclinterp (* Debugging support *) let debug = |