From 88f6e74a2741818649d00959276d82f12372fa57 Mon Sep 17 00:00:00 2001
From: "Daniel J. Hofmann" <daniel@trvx.org>
Date: Fri, 3 Apr 2015 19:31:09 +0200
Subject: [PATCH] Wnewline-eof

---
 src/ast/fpa_decl_plugin.cpp             | 2 +-
 src/smt/params/dyn_ack_params.cpp       | 2 +-
 src/tactic/fpa/fpa2bv_model_converter.h | 2 +-
 src/tactic/sls/sls_evaluator.h          | 2 +-
 src/tactic/sls/sls_powers.h             | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/ast/fpa_decl_plugin.cpp b/src/ast/fpa_decl_plugin.cpp
index 48b7adb8b..1e8fbd3f6 100644
--- a/src/ast/fpa_decl_plugin.cpp
+++ b/src/ast/fpa_decl_plugin.cpp
@@ -1009,4 +1009,4 @@ app * fpa_util::mk_internal_to_sbv_unspecified(unsigned width) {
 app * fpa_util::mk_internal_to_real_unspecified() {
     sort * range = m_a_util.mk_real();
     return m().mk_app(get_family_id(), OP_FPA_INTERNAL_TO_REAL_UNSPECIFIED, 0, 0, 0, 0, range);
-}
\ No newline at end of file
+}
diff --git a/src/smt/params/dyn_ack_params.cpp b/src/smt/params/dyn_ack_params.cpp
index c559e2b9b..15f48bad1 100644
--- a/src/smt/params/dyn_ack_params.cpp
+++ b/src/smt/params/dyn_ack_params.cpp
@@ -27,4 +27,4 @@ void dyn_ack_params::updt_params(params_ref const & _p) {
     m_dack_threshold = p.dack_threshold();
     m_dack_gc = p.dack_gc();
     m_dack_gc_inv_decay = p.dack_gc_inv_decay();
-}
\ No newline at end of file
+}
diff --git a/src/tactic/fpa/fpa2bv_model_converter.h b/src/tactic/fpa/fpa2bv_model_converter.h
index 7b9598740..dc3df0557 100644
--- a/src/tactic/fpa/fpa2bv_model_converter.h
+++ b/src/tactic/fpa/fpa2bv_model_converter.h
@@ -103,4 +103,4 @@ model_converter * mk_fpa2bv_model_converter(ast_manager & m,
                                             obj_map<func_decl, func_decl*> const & uf2bvuf,
                                             obj_map<func_decl, func_decl_triple> const & uf23bvuf);
 
-#endif
\ No newline at end of file
+#endif
diff --git a/src/tactic/sls/sls_evaluator.h b/src/tactic/sls/sls_evaluator.h
index 61afb7457..c70aba0d4 100644
--- a/src/tactic/sls/sls_evaluator.h
+++ b/src/tactic/sls/sls_evaluator.h
@@ -812,4 +812,4 @@ public:
     } 
 };
 
-#endif
\ No newline at end of file
+#endif
diff --git a/src/tactic/sls/sls_powers.h b/src/tactic/sls/sls_powers.h
index d0cc0815e..bf28b80e9 100644
--- a/src/tactic/sls/sls_powers.h
+++ b/src/tactic/sls/sls_powers.h
@@ -46,4 +46,4 @@ public:
     }
 };  
 
-#endif
\ No newline at end of file
+#endif