* src/parse-gram.y (value: "{...}"): Just strip the braces, but pass
the value as is.
---
src/parse-gram.y | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/parse-gram.y b/src/parse-gram.y
index 4c87c90..9a26625 100644
--- a/src/parse-gram.y
+++ b/src/parse-gram.y
@@ -661,8 +661,7 @@ value:
%empty { $$.kind = muscle_keyword; $$.chars = ""; }
| ID { $$.kind = muscle_keyword; $$.chars = $1; }
| STRING { $$.kind = muscle_string; $$.chars = $1; }
-| "{...}" { $$.kind = muscle_code;
- $$.chars = translate_code_braceless ($1, @1); }
+| "{...}" { $$.kind = muscle_code; $$.chars = strip_braces ($1); }
;
--
1.8.2.1