diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/prop/sat.h | 2 |
1 files changed, 1 insertions, 1 deletions
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; |