| changeset 18678 | dd0c569fa43d |
| parent 18636 | cb068cfdcac8 |
| child 18708 | 4b3dadb4fe33 |
--- a/src/Pure/Isar/attrib.ML Fri Jan 13 17:39:41 2006 +0100 +++ b/src/Pure/Isar/attrib.ML Sat Jan 14 17:14:06 2006 +0100 @@ -171,7 +171,7 @@ at the thm structure.*) fun crude_closure ctxt src = - (try (transform_error (fn () => context_attribute_i ctxt src (ctxt, Drule.asm_rl))) (); + (try (fn () => context_attribute_i ctxt src (ctxt, Drule.asm_rl)) (); Args.closure src);