From 4ab0dd47005dc7c95a41da1b9d07bd4c8c294caa Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 26 Aug 2014 09:12:18 -0700
Subject: [PATCH] fix(tests/lean): adjust test to reflect recent changes

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 tests/lean/crash.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/lean/crash.lean b/tests/lean/crash.lean
index b65542a4d5..e8b4601729 100644
--- a/tests/lean/crash.lean
+++ b/tests/lean/crash.lean
@@ -3,7 +3,7 @@ import logic
 section
 hypothesis P : Prop.
 
-theorem crash
+definition crash
          := assume H : P,
             have H' : ¬ P,
             from H,