From 96d6adbb23386182411a19762463e191eef69c4a Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 15 Mar 2002 13:46:16 +0000
Subject: evite les clash avec le type ocaml unit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2534 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/ocaml.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml
index 4bd05b03f6..e785499b4b 100644
--- a/contrib/extraction/ocaml.ml
+++ b/contrib/extraction/ocaml.ml
@@ -114,7 +114,7 @@ let keywords =
     "module"; "mutable"; "new"; "object"; "of"; "open"; "or";
     "parser"; "private"; "rec"; "sig"; "struct"; "then"; "to"; "true";
     "try"; "type"; "val"; "virtual"; "when"; "while"; "with"; "mod";
-    "land"; "lor"; "lxor"; "lsl"; "lsr"; "asr" ; "prop" ; "arity" ] 
+    "land"; "lor"; "lxor"; "lsl"; "lsr"; "asr" ; "unit" ; "prop" ; "arity" ] 
   Idset.empty
 
 let preamble _ used_modules used_prop = 
-- 
cgit v1.2.3