diff options
| -rw-r--r-- | kernel/univ.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/univ.ml b/kernel/univ.ml index d56904bae..ddb5dcbc6 100644 --- a/kernel/univ.ml +++ b/kernel/univ.ml @@ -265,7 +265,7 @@ let reprleq g arcu = (* between : UniverseLevel.t -> canonical_arc -> canonical_arc list *) -(* between u v = {w|u<=w<=v, w canonical} *) +(* between u v = { w | u<=w<=v, w canonical } *) (* between is the most costly operation *) let between g arcu arcv = |