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 b15b5c2dd..2607a33c6 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 CVC4 { +namespace CVC5 { namespace theory { namespace fp { @@ -189,6 +189,6 @@ class TheoryFp : public Theory } // namespace fp } // namespace theory -} // namespace CVC4 +} // namespace CVC5 #endif /* CVC4__THEORY__FP__THEORY_FP_H */ |