summaryrefslogtreecommitdiffstats
path: root/testsuite/external/coq-8.4pl2.patch
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 =