From c655e9fe7bce3f4bec2b4c585643edc23ccc6c5d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 12 Sep 2013 18:27:46 -0700
Subject: [PATCH] Move sexpr_funcs to sexpr_fn. Using consistent file name
 conventions.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/tests/util/format.cpp                        | 2 +-
 src/tests/util/sexpr.cpp                         | 2 +-
 src/util/sexpr/CMakeLists.txt                    | 2 +-
 src/util/sexpr/format.cpp                        | 2 +-
 src/util/sexpr/options.cpp                       | 2 +-
 src/util/sexpr/{sexpr_funcs.cpp => sexpr_fn.cpp} | 2 +-
 src/util/sexpr/{sexpr_funcs.h => sexpr_fn.h}     | 0
 7 files changed, 6 insertions(+), 6 deletions(-)
 rename src/util/sexpr/{sexpr_funcs.cpp => sexpr_fn.cpp} (95%)
 rename src/util/sexpr/{sexpr_funcs.h => sexpr_fn.h} (100%)

diff --git a/src/tests/util/format.cpp b/src/tests/util/format.cpp
index b170050b3..02fc71c9b 100644
--- a/src/tests/util/format.cpp
+++ b/src/tests/util/format.cpp
@@ -9,7 +9,7 @@ Author: Soonho Kong
 #include <sstream>
 #include "format.h"
 #include "test.h"
-#include "sexpr_funcs.h"
+#include "sexpr_fn.h"
 #include "options.h"
 #include "mpq.h"
 using namespace lean;
diff --git a/src/tests/util/sexpr.cpp b/src/tests/util/sexpr.cpp
index c0a14b00a..aa54cdfcf 100644
--- a/src/tests/util/sexpr.cpp
+++ b/src/tests/util/sexpr.cpp
@@ -6,7 +6,7 @@ Author: Leonardo de Moura
 */
 #include <sstream>
 #include "sexpr.h"
-#include "sexpr_funcs.h"
+#include "sexpr_fn.h"
 #include "mpq.h"
 #include "name.h"
 #include "test.h"
diff --git a/src/util/sexpr/CMakeLists.txt b/src/util/sexpr/CMakeLists.txt
index 09fc012fc..8f2a88062 100644
--- a/src/util/sexpr/CMakeLists.txt
+++ b/src/util/sexpr/CMakeLists.txt
@@ -1,2 +1,2 @@
-add_library(sexpr sexpr.cpp sexpr_funcs.cpp format.cpp options.cpp)
+add_library(sexpr sexpr.cpp sexpr_fn.cpp format.cpp options.cpp)
 target_link_libraries(sexpr ${LEAN_LIBS})
diff --git a/src/util/sexpr/format.cpp b/src/util/sexpr/format.cpp
index 0f52834f2..057c3ad51 100644
--- a/src/util/sexpr/format.cpp
+++ b/src/util/sexpr/format.cpp
@@ -8,7 +8,7 @@
 #include "sexpr.h"
 #include "format.h"
 #include "escaped.h"
-#include "sexpr_funcs.h"
+#include "sexpr_fn.h"
 #include "options.h"
 
 #ifndef LEAN_DEFAULT_PP_INDENTATION
diff --git a/src/util/sexpr/options.cpp b/src/util/sexpr/options.cpp
index 0e60af26e..30c5c2a8c 100644
--- a/src/util/sexpr/options.cpp
+++ b/src/util/sexpr/options.cpp
@@ -7,7 +7,7 @@ Author: Leonardo de Moura
 #include <memory>
 #include "options.h"
 #include "option_declarations.h"
-#include "sexpr_funcs.h"
+#include "sexpr_fn.h"
 
 namespace lean {
 std::ostream & operator<<(std::ostream & out, option_kind k) {
diff --git a/src/util/sexpr/sexpr_funcs.cpp b/src/util/sexpr/sexpr_fn.cpp
similarity index 95%
rename from src/util/sexpr/sexpr_funcs.cpp
rename to src/util/sexpr/sexpr_fn.cpp
index b739f1ed1..ad2b8578a 100644
--- a/src/util/sexpr/sexpr_funcs.cpp
+++ b/src/util/sexpr/sexpr_fn.cpp
@@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 
 Author: Leonardo de Moura
 */
-#include "sexpr_funcs.h"
+#include "sexpr_fn.h"
 
 namespace lean {
 
diff --git a/src/util/sexpr/sexpr_funcs.h b/src/util/sexpr/sexpr_fn.h
similarity index 100%
rename from src/util/sexpr/sexpr_funcs.h
rename to src/util/sexpr/sexpr_fn.h