From 5ba79db0f2149ca4335affbf3c5278817d081998 Mon Sep 17 00:00:00 2001
From: Rouven Walter <rouven.walter@booleworks.com>
Date: Mon, 22 Jul 2024 12:55:24 +0200
Subject: [PATCH] fixed MiniSatConfig doc for default CNF method

---
 src/main/java/org/logicng/solvers/sat/MiniSatConfig.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/org/logicng/solvers/sat/MiniSatConfig.java b/src/main/java/org/logicng/solvers/sat/MiniSatConfig.java
index c3afef8d..f60a9211 100644
--- a/src/main/java/org/logicng/solvers/sat/MiniSatConfig.java
+++ b/src/main/java/org/logicng/solvers/sat/MiniSatConfig.java
@@ -406,7 +406,7 @@ public Builder proofGeneration(final boolean proofGeneration) {
 
         /**
          * Sets the CNF method for converting formula which are not in CNF for the solver.  The default value
-         * is {@code FACTORY_CNF}.
+         * is {@code PG_ON_SOLVER}.
          * @param cnfMethod the CNF method
          * @return the builder
          */