--- 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"