From 51a30892a103028f040ca4f2977294a46813dd6e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 13 May 2015 17:07:10 -0700
Subject: [PATCH] chore(examples/ex): move example to library

---
 {examples => library/examples}/ex.lean | 0
 src/CMakeLists.txt                     | 6 ------
 2 files changed, 6 deletions(-)
 rename {examples => library/examples}/ex.lean (100%)

diff --git a/examples/ex.lean b/library/examples/ex.lean
similarity index 100%
rename from examples/ex.lean
rename to library/examples/ex.lean
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 2c09cf16b..efa5c7fad 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -263,12 +263,6 @@ ENDIF()
 # Python
 find_package(PythonInterp REQUIRED)
 
-# Examples
-file(GLOB LEANLIB "${LEAN_SOURCE_DIR}/../examples/*.lean")
-FOREACH(FILE ${LEANLIB})
-   install_files(/examples FILES "${FILE}")
-ENDFOREACH(FILE)
-
 include_directories(${LEAN_SOURCE_DIR})
 
 # Git HASH