From 21176c61fe347fbcd943f82c8312ea92318d0e43 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 25 Jul 2014 08:48:35 -0700
Subject: [PATCH] fix(tests/lean): move crash.lean to different directory
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
tests/lean/{run => }/crash.lean | 0
tests/lean/crash.lean.expected.out | 6 ++++++
2 files changed, 6 insertions(+)
rename tests/lean/{run => }/crash.lean (100%)
create mode 100644 tests/lean/crash.lean.expected.out
diff --git a/tests/lean/run/crash.lean b/tests/lean/crash.lean
similarity index 100%
rename from tests/lean/run/crash.lean
rename to tests/lean/crash.lean
diff --git a/tests/lean/crash.lean.expected.out b/tests/lean/crash.lean.expected.out
new file mode 100644
index 000000000..023223ef5
--- /dev/null
+++ b/tests/lean/crash.lean.expected.out
@@ -0,0 +1,6 @@
+crash.lean:6:0: error: type mismatch at application
+ (λ (H' : not P), _) H
+expected type:
+ not P
+given type:
+ P