3 files changed, 3 insertions, 26 deletions
diff --git a/src/theory/fp/options b/src/theory/fp/options
deleted file mode 100644
index 3fee94d1d..000000000
--- a/src/theory/fp/options
+++ /dev/null
@@ -1,8 +0,0 @@
-#
-# Option specification file for CVC4
-# See src/options/base_options for a description of this file format
-#
-
-module FP "theory/fp/options.h" Fp
-
-endmodule
diff --git a/src/theory/fp/options_handlers.h b/src/theory/fp/options_handlers.h
deleted file mode 100644
index f1a86e396..000000000
--- a/src/theory/fp/options_handlers.h
+++ /dev/null
@@ -1,14 +0,0 @@
-#include "cvc4_private.h"
-
-#ifndef __CVC4__THEORY__FP__OPTIONS_HANDLERS_H
-#define __CVC4__THEORY__FP__OPTIONS_HANDLERS_H
-
-namespace CVC4 {
-namespace theory {
-namespace fp {
-
-}/* CVC4::theory::fp namespace */
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
-
-#endif /* __CVC4__THEORY__FP__OPTIONS_HANDLERS_H */
diff --git a/src/theory/fp/theory_fp_rewriter.cpp b/src/theory/fp/theory_fp_rewriter.cpp
index ba9823541..59ff4692f 100644
--- a/src/theory/fp/theory_fp_rewriter.cpp
+++ b/src/theory/fp/theory_fp_rewriter.cpp
@@ -25,12 +25,11 @@
  **       ]]
  **/
 
-#include "theory/fp/theory_fp_rewriter.h"
-
-#include "util/cvc4_assert.h"
-
 #include <algorithm>
 
+#include "base/cvc4_assert.h"
+#include "theory/fp/theory_fp_rewriter.h"
+
 namespace CVC4 {
 namespace theory {
 namespace fp {