From 15305efa5a3ca18466024d6ab5dfb92cc70d4bec Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 13 Dec 2009 15:29:26 +0000 Subject: [PATCH] rename #Var to __gfVar because it breaks the JavaScript editor --- src/PGF/Macros.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/PGF/Macros.hs b/src/PGF/Macros.hs index 839c781e3..af25de025 100644 --- a/src/PGF/Macros.hs +++ b/src/PGF/Macros.hs @@ -151,4 +151,4 @@ isLiteralCat = (`elem` [cidString, cidFloat, cidInt, cidVar]) cidString = mkCId "String" cidInt = mkCId "Int" cidFloat = mkCId "Float" -cidVar = mkCId "#Var" +cidVar = mkCId "__gfVar"