diff options
| author | krasimir <krasimir@chalmers.se> | 2009-12-13 15:29:26 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-12-13 15:29:26 +0000 |
| commit | d88a865faff59c98fc91556ff8700b10ee5f2df8 (patch) | |
| tree | e437ab399ed0fd10a406a498bef0204377aa2697 /src/PGF | |
| parent | 5ea49dfa86e0188055c2e391a16098f6efe74a37 (diff) | |
rename #Var to __gfVar because it breaks the JavaScript editor
Diffstat (limited to 'src/PGF')
| -rw-r--r-- | src/PGF/Macros.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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" |