Update CadicalWrapper.h

stanford-centaur · Jun 7, 2023 · fc85fcd · fc85fcd
1 parent f389487
commit fc85fcd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/engine/CadicalWrapper.h b/src/engine/CadicalWrapper.h
@@ -8,7 +8,7 @@
 #include "Watcher.h"
 #include "cadical.hpp"
 
-enum LiteralStatus { FALSE = 0, TRUE = 1, UNFIXED = 2 };
+enum LiteralStatus {FALSE = 0, TRUE = 1, UNFIXED = 2};
 
 class Statistics;