More cleaning up.

1 files changed, 8 insertions, 8 deletions

diff --git a/test/unit/prop/cnf_stream_black.h b/test/unit/prop/cnf_stream_black.h
index d1f79f6ab..5c20b534d 100644
--- a/test/unit/prop/cnf_stream_black.h
+++ b/test/unit/prop/cnf_stream_black.h
@@ -84,20 +84,20 @@ public:
   void interrupt() {
   }
   
-  SatLiteralValue solve() {
-    return SatValUnknown;
+  SatValue solve() {
+    return SAT_VALUE_UNKNOWN;
   }
 
-  SatLiteralValue solve(long unsigned int& resource) {
-    return SatValUnknown;
+  SatValue solve(long unsigned int& resource) {
+    return SAT_VALUE_UNKNOWN;
   }
 
-  SatLiteralValue value(SatLiteral l) {
-    return SatValUnknown;
+  SatValue value(SatLiteral l) {
+    return SAT_VALUE_UNKNOWN;
   }
 
-  SatLiteralValue modelValue(SatLiteral l) {
-    return SatValUnknown;
+  SatValue modelValue(SatLiteral l) {
+    return SAT_VALUE_UNKNOWN;
   }
 
   bool properExplanation(SatLiteral lit, SatLiteral expl) const {