diff options
Diffstat (limited to 'stp/sat/Simplifier.cpp')
| -rw-r--r-- | stp/sat/Simplifier.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stp/sat/Simplifier.cpp b/stp/sat/Simplifier.cpp index 1c192e20..2e709066 100644 --- a/stp/sat/Simplifier.cpp +++ b/stp/sat/Simplifier.cpp @@ -539,4 +539,4 @@ bool Solver::eliminate() return true; } -}; +} |