src/HOL/Tools/Nitpick/nitpick_hol.ML
changeset 33351 37ec56ac3fd4
parent 33232 f93390060bbe
child 33522 737589bb9bb8
child 33578 0c3ba1e010d2
--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Fri Oct 30 01:32:06 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Fri Oct 30 01:32:06 2009 +0100
@@ -1634,7 +1634,7 @@
 val cached_wf_props : (term * bool) list Unsynchronized.ref =
   Unsynchronized.ref []
 
-val termination_tacs = [Lexicographic_Order.lex_order_tac,
+val termination_tacs = [Lexicographic_Order.lex_order_tac true,
                         ScnpReconstruct.sizechange_tac]
 
 (* extended_context -> const_table -> styp -> bool *)