From 729e5f91dd6979cf529e449fa9217e1007d13349 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 20 Nov 2020 16:32:03 -0800
Subject: [PATCH] Rename floatingpoint.h.in -> floatingpoin.h. (#5500)

---
 src/CMakeLists.txt                               | 2 +-
 src/util/CMakeLists.txt                          | 2 +-
 src/util/{floatingpoint.h.in => floatingpoint.h} | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)
 rename src/util/{floatingpoint.h.in => floatingpoint.h} (99%)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index aaa1f04f8..aea57ef00 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -1202,10 +1202,10 @@ install(FILES
           util/string.h
           util/tuple.h
           util/unsafe_interrupt_exception.h
-          ${CMAKE_CURRENT_BINARY_DIR}/util/floatingpoint.h
           ${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
         DESTINATION
           ${CMAKE_INSTALL_INCLUDEDIR}/cvc4/util)
 
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
index 94ded3777..a9b0b1dca 100644
--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@@ -9,7 +9,6 @@
 ## directory for licensing information.
 ##
 configure_file(symfpu_literal.h.in symfpu_literal.h)
-configure_file(floatingpoint.h.in floatingpoint.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)
@@ -27,6 +26,7 @@ libcvc4_add_sources(
   divisible.cpp
   divisible.h
   floatingpoint.cpp
+  floatingpoint.h
   floatingpoint_size.cpp
   floatingpoint_size.h
   gmp_util.h
diff --git a/src/util/floatingpoint.h.in b/src/util/floatingpoint.h
similarity index 99%
rename from src/util/floatingpoint.h.in
rename to src/util/floatingpoint.h
index 04279d8e5..754c38290 100644
--- a/src/util/floatingpoint.h.in
+++ b/src/util/floatingpoint.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
-/*! \file floatingpoint.h.in
+/*! \file floatingpoint.h
  ** \verbatim
  ** Top contributors (to current version):
- **   Martin Brain, Aina Niemetz, Haniel Barbosa
+ **   Aina Niemetz, Martin Brain, Mathias Preiner
  ** Copyright (c) 2013  University of Oxford
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
-- 
2.30.2