# HG changeset patch
# User blanchet
# Date 1266436214 -3600
# Node ID 69fa4c39dab28528c319c988928aef012aca7ddb
# Parent  ce653cc27a942f0cb50aa00fffabf124707f9a12
fix example to reflect change in function signature

diff -r ce653cc27a94 -r 69fa4c39dab2 src/HOL/Nitpick_Examples/Mono_Nits.thy
--- a/src/HOL/Nitpick_Examples/Mono_Nits.thy	Wed Feb 17 20:46:50 2010 +0100
+++ b/src/HOL/Nitpick_Examples/Mono_Nits.thy	Wed Feb 17 20:50:14 2010 +0100
@@ -29,7 +29,7 @@
    special_funs = Unsynchronized.ref [], unrolled_preds = Unsynchronized.ref [],
    wf_cache = Unsynchronized.ref [], constr_cache = Unsynchronized.ref []}
 (* term -> bool *)
-val is_mono = Nitpick_Mono.formulas_monotonic hol_ctxt @{typ 'a}
+val is_mono = Nitpick_Mono.formulas_monotonic hol_ctxt false @{typ 'a}
                                               Nitpick_Mono.Plus [] []
 fun is_const t =
   let val T = fastype_of t in