--- a/src/Tools/eqsubst.ML Fri Aug 23 15:36:54 2013 +0200
+++ b/src/Tools/eqsubst.ML Fri Aug 23 17:01:12 2013 +0200
@@ -420,7 +420,7 @@
the goal) as well as the theorems to use *)
val setup =
Method.setup @{binding subst}
- (Args.mode "asm" -- Scan.lift (Scan.optional (Args.parens (Scan.repeat Parse.nat)) [0]) --
+ (Scan.lift (Args.mode "asm" -- Scan.optional (Args.parens (Scan.repeat Parse.nat)) [0]) --
Attrib.thms >>
(fn ((asm, occs), inthms) => fn ctxt =>
SIMPLE_METHOD' ((if asm then eqsubst_asm_tac else eqsubst_tac) ctxt occs inthms)))