diff options
Diffstat (limited to 'checker/environ.ml')
| -rw-r--r-- | checker/environ.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/environ.ml b/checker/environ.ml index eb084a910..79234e9e2 100644 --- a/checker/environ.ml +++ b/checker/environ.ml @@ -77,7 +77,7 @@ let push_rec_types (lna,typarray,_) env = (* Universe constraints *) let add_constraints c env = - if c == empty_constraint then + if c == Constraint.empty then env else let s = env.env_stratification in |