--- a/src/HOL/Bali/Eval.thy Wed Dec 30 19:41:48 2015 +0100
+++ b/src/HOL/Bali/Eval.thy Wed Dec 30 19:57:37 2015 +0100
@@ -124,7 +124,7 @@
assignment.
*}
-abbreviation (xsymbols)
+abbreviation
dummy_res :: "vals" ("\<diamondsuit>")
where "\<diamondsuit> == In1 Unit"