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