From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 1 Apr 2011 01:49:09 +0000 (+0000)
Subject: documentation fix
X-Git-Tag: cvc5-1.0.0~8622
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bce58d1d2a1070d0c1f3563b7318b8a68f031546;p=cvc5.git

documentation fix
---

diff --git a/src/prop/sat.h b/src/prop/sat.h
index e583f4da0..ea782234b 100644
--- 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;