Fix comment

Lipen · Oct 28, 2023 · b81d54b · b81d54b
1 parent be3d094
commit b81d54b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kotlin-satlib-jna/src/main/kotlin/com/github/lipen/satlib/jna/LibKissat.kt b/kotlin-satlib-jna/src/main/kotlin/com/github/lipen/satlib/jna/LibKissat.kt
@@ -77,7 +77,7 @@ fun main() {
         val ptr = lib.kissat_init()
         println("ptr = $ptr")
 
-        // SAT
+        // UNSAT
         lib.kissat_add_clause(ptr, listOf(-1))
         lib.kissat_add_clause(ptr, listOf(1))
         println("Solving...")