fixed version

arminbiere · Jul 6, 2022 · c25429f · c25429f
1 parent fd1bee6
commit c25429f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/NEWS.md b/NEWS.md
@@ -1,7 +1,8 @@
-Version 1.1.1
+Version 3.0.0
 -------------
 
-Removed two heuristic bugs:
+Removed two heuristic bugs and went back to monotonically increasing
+version numbers (see also [`VERSION`](VERSION)).
 
   - avoid increasing number of conflicts during vivification
   - do set used flags (two bits) of learned clauses initially