From 0d0542b8a16dab4df999df580c78dfe52a340363 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 27 Dec 2012 15:34:11 -0500 Subject: Add some name-mangling rules to allow XML attribute 'name' and attributes with dashes --- tests/goofy.urs | 1 + 1 file changed, 1 insertion(+) create mode 100644 tests/goofy.urs (limited to 'tests/goofy.urs') diff --git a/tests/goofy.urs b/tests/goofy.urs new file mode 100644 index 00000000..71b55f42 --- /dev/null +++ b/tests/goofy.urs @@ -0,0 +1 @@ +val goofy : bodyTag [Nam = string, Data_role = string] -- cgit v1.2.3