diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-04-01 01:49:09 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-04-01 01:49:09 +0000 |
| commit | bce58d1d2a1070d0c1f3563b7318b8a68f031546 (patch) | |
| tree | 0befcfacdafd9f7798368cfee17f4548dd34387c /src/prop | |
| parent | 159cb7ee8b6f28f3784a3f24b371760c2ab77f86 (diff) | |
documentation fix
Diffstat (limited to 'src/prop')
| -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; |