| changeset 56362 | 720414857a12 |
| parent 56241 | 029246729dc0 |
| child 57445 | 2d0cf40f6fb3 |
--- a/src/HOL/Tools/Ctr_Sugar/case_translation.ML Wed Apr 02 13:54:50 2014 +0200 +++ b/src/HOL/Tools/Ctr_Sugar/case_translation.ML Wed Apr 02 13:53:32 2014 +0200 @@ -599,7 +599,7 @@ then map (fn t => if can Term.type_of t then strip_case_full ctxt true t else t) ts else ts; -val _ = Context.>> (Syntax_Phases.term_uncheck 1 "case" uncheck_case); +val _ = Context.>> (Syntax_Phases.term_uncheck 1 "case" uncheck_case); (* outer syntax commands *)