diff options
Diffstat (limited to 'pretyping')
| -rw-r--r-- | pretyping/termops.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/termops.ml b/pretyping/termops.ml index 63b613972c..c936987839 100644 --- a/pretyping/termops.ml +++ b/pretyping/termops.ml @@ -36,7 +36,7 @@ let new_univ = let univ_gen = ref 0 in (fun sp -> incr univ_gen; - Univ.make_univ (Lib.module_dp(),!univ_gen)) + Univ.make_univ (Lib.library_dp(),!univ_gen)) let new_sort_in_family = function | InProp -> mk_Prop |