src/HOL/Tools/Nitpick/nitpick_tests.ML
changeset 33232 f93390060bbe
parent 33192 08a39a957ed7
child 33982 1ae222745c4a
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML	Tue Oct 27 12:16:26 2009 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML	Tue Oct 27 14:40:24 2009 +0100
     1.3 @@ -10,15 +10,14 @@
     1.4    val run_all_tests : unit -> unit
     1.5  end
     1.6  
     1.7 -structure NitpickTests =
     1.8 +structure Nitpick_Tests =
     1.9  struct
    1.10  
    1.11 -open NitpickUtil
    1.12 -open NitpickPeephole
    1.13 -open NitpickRep
    1.14 -open NitpickNut
    1.15 -open NitpickKodkod
    1.16 -open Nitpick
    1.17 +open Nitpick_Util
    1.18 +open Nitpick_Peephole
    1.19 +open Nitpick_Rep
    1.20 +open Nitpick_Nut
    1.21 +open Nitpick_Kodkod
    1.22  
    1.23  val settings =
    1.24    [("solver", "\"zChaff\""),