diff options
Diffstat (limited to 'stp/AST/ToSAT.cpp')
| -rw-r--r-- | stp/AST/ToSAT.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stp/AST/ToSAT.cpp b/stp/AST/ToSAT.cpp index 7a164c9c..29635ec5 100644 --- a/stp/AST/ToSAT.cpp +++ b/stp/AST/ToSAT.cpp @@ -1382,4 +1382,4 @@ namespace BEEV { } } } -}; //end of namespace BEEV +} //end of namespace BEEV |