diff --git a/src/kernel/CMakeLists.txt b/src/kernel/CMakeLists.txt
index ea1516bab..8cd5ed720 100644
--- a/src/kernel/CMakeLists.txt
+++ b/src/kernel/CMakeLists.txt
@@ -1,2 +1,2 @@
-add_library(kernel expr.cpp expr_max_shared)
+add_library(kernel expr.cpp max_sharing)
 target_link_libraries(kernel ${EXTRA_LIBS})
diff --git a/src/kernel/expr_max_shared.cpp b/src/kernel/max_sharing.cpp
similarity index 98%
rename from src/kernel/expr_max_shared.cpp
rename to src/kernel/max_sharing.cpp
index 6d0edd0ce..7b3f8eb2f 100644
--- a/src/kernel/expr_max_shared.cpp
+++ b/src/kernel/max_sharing.cpp
@@ -6,7 +6,7 @@ Author: Leonardo de Moura
 */
 #include <unordered_set>
 #include <vector>
-#include "expr_max_shared.h"
+#include "expr.h"
 #include "expr_functors.h"
 
 namespace lean {
diff --git a/src/kernel/expr_max_shared.h b/src/kernel/max_sharing.h
similarity index 100%
rename from src/kernel/expr_max_shared.h
rename to src/kernel/max_sharing.h
diff --git a/src/tests/kernel/expr.cpp b/src/tests/kernel/expr.cpp
index b5361c7f6..c6d7a1e6e 100644
--- a/src/tests/kernel/expr.cpp
+++ b/src/tests/kernel/expr.cpp
@@ -5,8 +5,8 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Author: Leonardo de Moura
 */
 #include "expr.h"
-#include "expr_max_shared.h"
 #include "expr_set.h"
+#include "max_sharing.h"
 #include "test.h"
 #include <algorithm>
 using namespace lean;