diff options
Diffstat (limited to 'src/expr/term_context_stack.h')
| -rw-r--r-- | src/expr/term_context_stack.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/term_context_stack.h b/src/expr/term_context_stack.h index 34c474a52..0042091ed 100644 --- a/src/expr/term_context_stack.h +++ b/src/expr/term_context_stack.h @@ -19,7 +19,7 @@ #include "expr/term_context_node.h" -namespace CVC5 { +namespace cvc5 { /** * A stack for term-context-sensitive terms. Its main advantage is that @@ -68,6 +68,6 @@ class TCtxStack const TermContext* d_tctx; }; -} // namespace CVC5 +} // namespace cvc5 #endif /* CVC4__EXPR__TERM_CONTEXT_STACK_H */ |