From fe98360191b130c1305063af6d13d0bac8d7b395 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 8 Jan 2013 17:54:38 +0000
Subject: Quote idents for safe re-parsing

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2096 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 backend/PrintCminor.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/PrintCminor.ml')

diff --git a/backend/PrintCminor.ml b/backend/PrintCminor.ml
index 4806275..59178bd 100644
--- a/backend/PrintCminor.ml
+++ b/backend/PrintCminor.ml
@@ -43,7 +43,7 @@ let rec precedence = function
 
 (* Naming idents. *)
 
-let ident_name = Camlcoq.extern_atom
+let ident_name id = "'" ^ Camlcoq.extern_atom id ^ "'"
 
 (* Naming operators *)
 
-- 
cgit v1.2.3