diff options
Diffstat (limited to 'src/expr/expr_value.cpp')
-rw-r--r-- | src/expr/expr_value.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/expr_value.cpp b/src/expr/expr_value.cpp index 451538f3f..fa5628e26 100644 --- a/src/expr/expr_value.cpp +++ b/src/expr/expr_value.cpp @@ -76,4 +76,4 @@ ExprValue::const_iterator ExprValue::rend() const { return d_children - 1; } -} /* CVC4 namespace */ +}/* CVC4 namespace */ |