From 4c25e3db49f62c15ae3e8a29f60c36020b9b9e46 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 29 Jul 2004 15:01:12 +0000
Subject: Distinction location ocaml 3.08 ou pas

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5987 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/q_coqast.ml4 | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/parsing/q_coqast.ml4 b/parsing/q_coqast.ml4
index f9c8d53295..5a214cde7f 100644
--- a/parsing/q_coqast.ml4
+++ b/parsing/q_coqast.ml4
@@ -21,8 +21,12 @@ let purge_str s =
 
 let anti loc x =
   let e =
-    let loc = unloc loc in
-    let loc = make_loc (1, snd loc - fst loc) in <:expr< $lid:purge_str x$ >>
+    let loc =
+      ifdef OCAML_308 then
+        loc
+      else
+        (1, snd loc - fst loc)
+    in <:expr< $lid:purge_str x$ >>
   in
   <:expr< $anti:e$ >>
 
-- 
cgit v1.2.3