make release notes markdown

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Jul 5, 2022 · 605a312 · 605a312
1 parent 71fc83c
commit 605a312
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/RELEASE_NOTES → RELEASE_NOTES.md b/RELEASE_NOTES → RELEASE_NOTES.md
@@ -29,7 +29,7 @@ Version 4.9.0
 - Totalizers and RC2
   - The MaxSAT engine now allows to run RC2 with totalizer encoding.
     Totalizers are on by default as preliminary tests suggest this solves already 10% more problems on
-    standard benchmarks. The option rc2.totalizer (which by default is true) is used to control whether to use
+    standard benchmarks. The option opt.rc2.totalizer (which by default is true) is used to control whether to use
     totalizer encoding or built-in cardinality constraints.
     The default engine is still maxres, so you have to set opt.maxsat_engine=rc2 to
     enable the rc2 option at this point. The engines maxres-bin and rc2bin are experimental should not be used