diff options
Diffstat (limited to 'stp/simplifier/bvsolver.h')
| -rw-r--r-- | stp/simplifier/bvsolver.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stp/simplifier/bvsolver.h b/stp/simplifier/bvsolver.h index a8981b12..8df32042 100644 --- a/stp/simplifier/bvsolver.h +++ b/stp/simplifier/bvsolver.h @@ -131,4 +131,4 @@ namespace BEEV { //equation to be solved, solves them, ASTNode TopLevelBVSolve(const ASTNode& a); }; //end of class bvsolver -};//end of namespace BEEV +} //end of namespace BEEV |