documentation fix

diff --git a/src/prop/sat.h b/src/prop/sat.h
index e583f4da05f48d56a6592c68cc952bcb51593677..ea782234bb93d2c75673bbe0f19400763644c1eb 100644 (file)
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -231,7 +231,7 @@ public:
   /** Call value() during the search.*/
   SatLiteralValue value(SatLiteral l);
 
-  /** Call value() when the search is done.*/
+  /** Call modelValue() when the search is done.*/
   SatLiteralValue modelValue(SatLiteral l);
 
   int getLevel() const;