1.1 --- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Mon Oct 26 09:14:29 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Mon Oct 26 11:02:08 2009 +0100
     1.3 @@ -1632,7 +1632,7 @@
     1.4  val cached_wf_props : (term * bool) list Unsynchronized.ref =
     1.5    Unsynchronized.ref []
     1.6  
     1.7 -val termination_tacs = [LexicographicOrder.lex_order_tac,
     1.8 +val termination_tacs = [Lexicographic_Order.lex_order_tac,
     1.9                          ScnpReconstruct.sizechange_tac]
    1.10  
    1.11  (* extended_context -> const_table -> styp -> bool *)