diff options
Diffstat (limited to 'src/theory/fp/theory_fp.h')
-rw-r--r-- | src/theory/fp/theory_fp.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/fp/theory_fp.h b/src/theory/fp/theory_fp.h index 2607a33c6..87c63a231 100644 --- a/src/theory/fp/theory_fp.h +++ b/src/theory/fp/theory_fp.h @@ -31,7 +31,7 @@ #include "theory/theory_state.h" #include "theory/uf/equality_engine.h" -namespace CVC5 { +namespace cvc5 { namespace theory { namespace fp { @@ -189,6 +189,6 @@ class TheoryFp : public Theory } // namespace fp } // namespace theory -} // namespace CVC5 +} // namespace cvc5 #endif /* CVC4__THEORY__FP__THEORY_FP_H */ |