diff options
Diffstat (limited to 'otherlibs/labltk/browser/dummyUnix.mli')
| -rw-r--r-- | otherlibs/labltk/browser/dummyUnix.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/dummyUnix.mli b/otherlibs/labltk/browser/dummyUnix.mli index 163d14ad3..227241923 100644 --- a/otherlibs/labltk/browser/dummyUnix.mli +++ b/otherlibs/labltk/browser/dummyUnix.mli @@ -23,5 +23,5 @@ end module Thread : sig type t - external create : ('a -> 'b) -> 'a -> t = "caml_input" + external create : ('a -> 'b) -> 'a -> t = "caml_ml_input" end |