diff --git a/examples/ex1.lean b/examples/lean/ex1.lean
similarity index 100%
rename from examples/ex1.lean
rename to examples/lean/ex1.lean
diff --git a/examples/ex2.lean b/examples/lean/ex2.lean
similarity index 100%
rename from examples/ex2.lean
rename to examples/lean/ex2.lean
diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
index f46406546..203d211b3 100644
--- a/src/shell/CMakeLists.txt
+++ b/src/shell/CMakeLists.txt
@@ -2,8 +2,8 @@ configure_file("${LEAN_SOURCE_DIR}/shell/version.h.in" "${LEAN_BINARY_DIR}/versi
 include_directories("${LEAN_BINARY_DIR}")
 add_executable(lean lean.cpp)
 target_link_libraries(lean ${EXTRA_LIBS})
-add_test(example1 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/ex1.lean")
-add_test(example2 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/ex2.lean")
+add_test(example1 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/lean/ex1.lean")
+add_test(example2 ${CMAKE_CURRENT_BINARY_DIR}/lean "${LEAN_SOURCE_DIR}/../examples/lean/ex2.lean")
 add_test(NAME leantests
          WORKING_DIRECTORY "${LEAN_SOURCE_DIR}/../tests/lean"
          COMMAND "./test.sh" "${CMAKE_CURRENT_BINARY_DIR}/lean")