diff options
Diffstat (limited to 'toplevel/libtypes.ml')
-rw-r--r-- | toplevel/libtypes.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/libtypes.ml b/toplevel/libtypes.ml index c182fb385..2f98962cf 100644 --- a/toplevel/libtypes.ml +++ b/toplevel/libtypes.ml @@ -71,7 +71,7 @@ let subst a b = Profile.profile2 subst_key TypeDnet.subst a b let load_key = Profile.declare_profile "load" let load a = Profile.profile1 load_key load a *) -let input = +let input : TypeDnet.t -> obj = declare_object { (default_object "LIBTYPES") with load_function = (fun _ -> load); |