diff options
Diffstat (limited to 'kernel/univ.mli')
| -rw-r--r-- | kernel/univ.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/univ.mli b/kernel/univ.mli index d7ee3ecee..dc6fb85a0 100644 --- a/kernel/univ.mli +++ b/kernel/univ.mli @@ -320,6 +320,7 @@ sig type t val empty : t + val is_empty : t -> bool val instance : t -> Instance.t |