Rename symfpu_literal.(h.in|cpp) -> floatingpoint_literal_symfpu.(h.in|cpp). (#5502)

6 files changed, 10 insertions, 10 deletions

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index aea57ef00..366e72af0 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -1205,7 +1205,7 @@ install(FILES
           ${CMAKE_CURRENT_BINARY_DIR}/util/integer.h
           ${CMAKE_CURRENT_BINARY_DIR}/util/rational.h
           ${CMAKE_CURRENT_BINARY_DIR}/util/real_algebraic_number.h
-          ${CMAKE_CURRENT_BINARY_DIR}/util/symfpu_literal.h
+          ${CMAKE_CURRENT_BINARY_DIR}/util/floatingpoint_literal_symfpu.h
         DESTINATION
           ${CMAKE_INSTALL_INCLUDEDIR}/cvc4/util)
 
diff --git a/src/theory/fp/fp_converter.cpp b/src/theory/fp/fp_converter.cpp
index b8e6f381c..85482bf6d 100644
--- a/src/theory/fp/fp_converter.cpp
+++ b/src/theory/fp/fp_converter.cpp
@@ -18,7 +18,7 @@
 
 #include "theory/theory.h"  // theory.h Only needed for the leaf test
 #include "util/floatingpoint.h"
-#include "util/symfpu_literal.h"
+#include "util/floatingpoint_literal_symfpu.h"
 
 #ifdef CVC4_USE_SYMFPU
 #include "symfpu/core/add.h"
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
index a9b0b1dca..24e485f5e 100644
--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@@ -8,7 +8,7 @@
 ## All rights reserved.  See the file COPYING in the top-level source
 ## directory for licensing information.
 ##
-configure_file(symfpu_literal.h.in symfpu_literal.h)
+configure_file(floatingpoint_literal_symfpu.h.in floatingpoint_literal_symfpu.h)
 configure_file(rational.h.in rational.h)
 configure_file(integer.h.in integer.h)
 configure_file(real_algebraic_number.h.in real_algebraic_number.h)
@@ -62,7 +62,7 @@ libcvc4_add_sources(
   statistics_registry.h
   string.cpp
   string.h
-  symfpu_literal.cpp
+  floatingpoint_literal_symfpu.cpp
   tuple.h
   unsafe_interrupt_exception.h
   utility.cpp
diff --git a/src/util/floatingpoint.cpp b/src/util/floatingpoint.cpp
index 4e4b076f0..c5ec4d0c6 100644
--- a/src/util/floatingpoint.cpp
+++ b/src/util/floatingpoint.cpp
@@ -23,8 +23,8 @@
 #include <limits>
 
 #include "base/check.h"
+#include "util/floatingpoint_literal_symfpu.h"
 #include "util/integer.h"
-#include "util/symfpu_literal.h"
 
 #ifdef CVC4_USE_SYMFPU
 #include "symfpu/core/add.h"
diff --git a/src/util/symfpu_literal.cpp b/src/util/floatingpoint_literal_symfpu.cpp
index b916d62f9..fb5c0b7b5 100644
--- a/src/util/symfpu_literal.cpp
+++ b/src/util/floatingpoint_literal_symfpu.cpp
@@ -1,5 +1,5 @@
 /*********************                                                        */
-/*! \file symfpu_literal.cpp
+/*! \file floatingpoint_literal_symfpu.cpp
  ** \verbatim
  ** Top contributors (to current version):
  **   Martin Brain, Aina Niemetz
@@ -11,7 +11,7 @@
  **
  ** \brief SymFPU glue code for floating-point values.
  **/
-#include "util/symfpu_literal.h"
+#include "util/floatingpoint_literal_symfpu.h"
 
 #include "base/check.h"
 
diff --git a/src/util/symfpu_literal.h.in b/src/util/floatingpoint_literal_symfpu.h.in
index e477bb0c1..06a98b7ea 100644
--- a/src/util/symfpu_literal.h.in
+++ b/src/util/floatingpoint_literal_symfpu.h.in
@@ -1,5 +1,5 @@
 /*********************                                                        */
-/*! \file symfpu_literal.h.in
+/*! \file floatingpoint_literal_symfpu.h.in
  ** \verbatim
  ** Top contributors (to current version):
  **   Aina Niemetz, Martin Brain, Andres Noetzli
@@ -15,8 +15,8 @@
  **/
 #include "cvc4_public.h"
 
-#ifndef CVC4__SYMFPULITERAL__SYMFPU_LITERAL_H
-#define CVC4__SYMFPULITERAL__SYMFPU_LITERAL_H
+#ifndef CVC4__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_H
+#define CVC4__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_H
 
 #include "util/bitvector.h"
 #include "util/roundingmode.h"