src/HOL/Tools/Function/scnp_reconstruct.ML

 fun sizechange_tac ctxt autom_tac =
   gen_sizechange_tac [MAX, MS, MIN] autom_tac ctxt (K (K all_tac))
 
 fun decomp_scnp orders ctxt =
   let
-    val extra_simps = FundefCommon.TerminationSimps.get ctxt
+    val extra_simps = FundefCommon.Termination_Simps.get ctxt
     val autom_tac = auto_tac (local_clasimpset_of ctxt addsimps2 extra_simps)
   in
     SIMPLE_METHOD
       (gen_sizechange_tac orders autom_tac ctxt (print_error ctxt))
   end