From 23bc928cfb9c9a566944d4d813b821dc302baf16 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 10 Aug 2001 23:30:51 +0000
Subject: Pour contourner un bug de camlp4 3.02

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

diff --git a/parsing/q_coqast.ml4 b/parsing/q_coqast.ml4
index 90d2f1babe..2161e86b62 100644
--- a/parsing/q_coqast.ml4
+++ b/parsing/q_coqast.ml4
@@ -40,7 +40,7 @@ let rec expr_of_ast = function
   | Coqast.Id loc id when is_meta id -> <:expr< Coqast.Id loc $anti loc id$ >>
   | Coqast.Node _ "$VAR" [Coqast.Nmeta loc x] ->
       <:expr< let s = $anti loc x$ in
-      if String.length s > 0 && s.[0] = '$' then
+      if String.length s > 0 && String.sub s 0 1 = "$" then
 	failwith "Wrong ast: $VAR should not be bound to a meta variable"
       else
 	Coqast.Nvar loc (Names.id_of_string s) >>
-- 
cgit v1.2.3