# HG changeset patch
# User blanchet
# Date 1259943573 -3600
# Node ID ca1621556a141657b559fbdaaae91f953f57031d
# Parent  a28733ef3a8260816769203a64c1f93db3624083
added soundness fix to Nitpick's history

diff -r a28733ef3a82 -r ca1621556a14 src/HOL/Tools/Nitpick/HISTORY
--- a/src/HOL/Tools/Nitpick/HISTORY	Fri Dec 04 17:19:01 2009 +0100
+++ b/src/HOL/Tools/Nitpick/HISTORY	Fri Dec 04 17:19:33 2009 +0100
@@ -1,3 +1,7 @@
+Version 2010
+
+  * Fixed soundness bug in "destroy_constrs" optimization
+
 Version 2009-1
 
   * Moved into Isabelle/HOL "Main"