diff options
Diffstat (limited to 'toplevel/mltop.ml')
| -rw-r--r-- | toplevel/mltop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/mltop.ml b/toplevel/mltop.ml index 3928f6354..1f15fe0f1 100644 --- a/toplevel/mltop.ml +++ b/toplevel/mltop.ml @@ -222,7 +222,7 @@ let (inMLModule,outMLModule) = specification_function = specification_ml_module_object }) let declare_ml_modules l = - Lib.add_anonymous_leaf (inMLModule {mnames=l}) + let _ = Lib.add_anonymous_leaf (inMLModule {mnames=l}) in () let print_ml_path () = let l = !coq_mlpath_copy in |