From 79d00f4d784b2391a347f0634617e17adcf6e679 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 23 Jul 2013 09:01:54 -0700
Subject: [PATCH] Rename max_sharing files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/kernel/CMakeLists.txt                           | 2 +-
 src/kernel/{expr_max_shared.cpp => max_sharing.cpp} | 2 +-
 src/kernel/{expr_max_shared.h => max_sharing.h}     | 0
 src/tests/kernel/expr.cpp                           | 2 +-
 4 files changed, 3 insertions(+), 3 deletions(-)
 rename src/kernel/{expr_max_shared.cpp => max_sharing.cpp} (98%)
 rename src/kernel/{expr_max_shared.h => max_sharing.h} (100%)

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;