blob: 3e5c5e6d45d6d2f1df9c67aaa9b23b05927bf9df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
From: Stephane Glondu <steph@glondu.net>
Date: Wed, 17 Jun 2015 15:36:10 +0200
Subject: Fix compilation with OCaml 4.02
---
kernel/univ.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/kernel/univ.ml b/kernel/univ.ml
index 822f6ca..53342dd 100644
--- a/kernel/univ.ml
+++ b/kernel/univ.ml
@@ -226,7 +226,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 =
--
|