From 4fd92a741c0342fbbca1549281695e1ee92c1ba1 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 14 Nov 2002 20:32:27 +0000
Subject: Restauration échappement ML

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

diff --git a/parsing/q_coqast.ml4 b/parsing/q_coqast.ml4
index 06ccc6bea7..5a8258cb47 100644
--- a/parsing/q_coqast.ml4
+++ b/parsing/q_coqast.ml4
@@ -187,6 +187,8 @@ let mlexpr_of_red_flags {
 } >>
 
 let rec mlexpr_of_constr = function
+  | Topconstr.CRef (Libnames.Ident (loc,id)) when is_meta (string_of_id id) ->
+      anti loc (string_of_id id)
   | Topconstr.CRef r -> <:expr< Topconstr.CRef $mlexpr_of_reference r$ >>
   | Topconstr.CFix (loc,_,_) -> failwith "mlexpr_of_constr: TODO"
   | Topconstr.CCoFix (loc,_,_) -> failwith "mlexpr_of_constr: TODO"
-- 
cgit v1.2.3