fix example to reflect change in function signature
authorblanchet
Wed Feb 17 20:50:14 2010 +0100 (2010-02-17)
changeset 3519169fa4c39dab2
parent 35190 ce653cc27a94
child 35192 a815c3f4eef2
fix example to reflect change in function signature
src/HOL/Nitpick_Examples/Mono_Nits.thy
     1.1 --- a/src/HOL/Nitpick_Examples/Mono_Nits.thy	Wed Feb 17 20:46:50 2010 +0100
     1.2 +++ b/src/HOL/Nitpick_Examples/Mono_Nits.thy	Wed Feb 17 20:50:14 2010 +0100
     1.3 @@ -29,7 +29,7 @@
     1.4     special_funs = Unsynchronized.ref [], unrolled_preds = Unsynchronized.ref [],
     1.5     wf_cache = Unsynchronized.ref [], constr_cache = Unsynchronized.ref []}
     1.6  (* term -> bool *)
     1.7 -val is_mono = Nitpick_Mono.formulas_monotonic hol_ctxt @{typ 'a}
     1.8 +val is_mono = Nitpick_Mono.formulas_monotonic hol_ctxt false @{typ 'a}
     1.9                                                Nitpick_Mono.Plus [] []
    1.10  fun is_const t =
    1.11    let val T = fastype_of t in