diff options
Diffstat (limited to 'kernel/environ.ml')
| -rw-r--r-- | kernel/environ.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/kernel/environ.ml b/kernel/environ.ml index 87f2f234da..501ac99ff3 100644 --- a/kernel/environ.ml +++ b/kernel/environ.ml @@ -398,9 +398,6 @@ let add_constraints c env = let check_constraints c env = UGraph.check_constraints c env.env_stratification.env_universes -let push_constraints_to_env (_,univs) env = - add_constraints univs env - let add_universes ~lbound ~strict ctx g = let g = Array.fold_left (fun g v -> UGraph.add_universe ~lbound ~strict v g) |