src/HOL/Tools/Function/scnp_reconstruct.ML

--- a/src/HOL/Tools/Function/scnp_reconstruct.ML	Fri Nov 06 12:13:45 2009 +0100
+++ b/src/HOL/Tools/Function/scnp_reconstruct.ML	Fri Nov 06 13:36:46 2009 +0100
@@ -418,7 +418,7 @@
      (Args.$$$ "ms" >> K MS))
   || Scan.succeed [MAX, MS, MIN]
 
-val setup = Method.setup @{binding sizechange}
+val setup = Method.setup @{binding size_change}
   (Scan.lift orders --| Method.sections clasimp_modifiers >> decomp_scnp)
   "termination prover with graph decomposition and the NP subset of size change termination"