blob: 50a94edb474d4cbb653825f80c004ec18c2eb6e4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- coq-8.4pl2/kernel/univ.ml.orig 2013-11-27 15:53:01.000000000 +0100
+++ coq-8.4pl2/kernel/univ.ml 2013-11-27 15:53:20.000000000 +0100
@@ -226,7 +226,7 @@
(* 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 =
|
