From 8d3a8edab6377823e620f7a22ccfcdcd869bb5a7 Mon Sep 17 00:00:00 2001
From: glondu
Date: Tue, 16 Nov 2010 21:11:39 +0000
Subject: Support for camlp5 6.02.0 (Closes: #2432)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13642 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/compat.ml4 | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'lib')

diff --git a/lib/compat.ml4 b/lib/compat.ml4
index f2994edc67..67d2820a72 100644
--- a/lib/compat.ml4
+++ b/lib/compat.ml4
@@ -227,3 +227,13 @@ let expl_anti loc e = <:expr< $anti:e$ >>
 ELSE
 let expl_anti _loc e = e (* FIXME: understand someday if we can do better *)
 END
+
+(** Compatibility with Camlp5 6.x *)
+
+IFDEF CAMLP5_6_00 THEN
+let slist0sep x y = Gramext.Slist0sep (x, y, false)
+let slist1sep x y = Gramext.Slist1sep (x, y, false)
+ELSE
+let slist0sep x y = Gramext.Slist0sep (x, y)
+let slist1sep x y = Gramext.Slist1sep (x, y)
+END
-- 
cgit v1.2.3