src/HOL/Bali/Term.thy
changeset 24783 5a3e336a2e37
parent 24019 67bde7cfcf10
child 26480 544cef16045b
--- a/src/HOL/Bali/Term.thy	Sun Sep 30 16:53:08 2007 +0200
+++ b/src/HOL/Bali/Term.thy	Sun Sep 30 21:55:15 2007 +0200
@@ -203,7 +203,7 @@
         | Lab   jump stmt       ("_\<bullet> _" [      99,66]66)
                                 --{* labeled statement; handles break *}
 	| Comp  stmt stmt       ("_;; _"                  [      66,65]65)
-	| If_   expr stmt stmt  ("If'(_') _ Else _"       [   80,79,79]70)
+	| If'   expr stmt stmt  ("If'(_') _ Else _"       [   80,79,79]70)
 	| Loop  label expr stmt ("_\<bullet> While'(_') _"        [   99,80,79]70)
         | Jmp jump              --{* break, continue, return *}
 	| Throw expr