src/HOL/Tools/Nitpick/nitpick_model.ML
changeset 54816 10d48c2a3e32
parent 53015 a1119cf551e8
child 55725 9d605a21d7ec
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_model.ML	Thu Dec 19 10:15:12 2013 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_model.ML	Thu Dec 19 13:43:21 2013 +0100
     1.3 @@ -41,7 +41,7 @@
     1.4      -> nut list -> nut list -> nut NameTable.table -> Kodkod.raw_bound list
     1.5      -> Pretty.T * bool
     1.6    val prove_hol_model :
     1.7 -    scope -> Time.time option -> nut list -> nut list -> nut NameTable.table
     1.8 +    scope -> Time.time -> nut list -> nut list -> nut NameTable.table
     1.9      -> Kodkod.raw_bound list -> term -> bool option
    1.10  end;
    1.11