src/Provers/eqsubst.ML

--- a/src/Provers/eqsubst.ML	Mon Dec 18 08:21:34 2006 +0100
+++ b/src/Provers/eqsubst.ML	Mon Dec 18 08:21:35 2006 +0100
@@ -538,7 +538,7 @@
 the goal) as well as the theorems to use *)
 fun subst_meth src =
   Method.syntax ((Scan.lift options_syntax) -- (Scan.lift ith_syntax) -- Attrib.thms) src
-  #> (fn (ctxt, ((asmflag, occL), inthms)) =>
+  #> (fn (((asmflag, occL), inthms), ctxt) =>
     (if asmflag then eqsubst_asm_meth else eqsubst_meth) ctxt occL inthms);