src/HOL/Tools/Nitpick/nitpick_nut.ML
changeset 37483 4de0b0c38bdf
parent 37476 0681e46b4022
child 37678 0040bafffdef
--- a/src/HOL/Tools/Nitpick/nitpick_nut.ML	Mon Jun 21 14:07:00 2010 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_nut.ML	Mon Jun 21 16:59:37 2010 +0200
@@ -874,7 +874,7 @@
           end
         | Cst (cst, T, _) =>
           if cst = Unknown orelse cst = Unrep then
-            case (is_boolean_type T, polar) of
+            case (is_boolean_type T, polar |> unsound ? flip_polarity) of
               (true, Pos) => Cst (False, T, Formula Pos)
             | (true, Neg) => Cst (True, T, Formula Neg)
             | _ => Cst (cst, T, best_opt_set_rep_for_type scope T)