From bce58d1d2a1070d0c1f3563b7318b8a68f031546 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 1 Apr 2011 01:49:09 +0000 Subject: [PATCH] documentation fix --- src/prop/sat.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.30.2