From d7ded1548631a9f5033ec52c3917625936ee0410 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 29 Oct 2014 19:44:34 -0700
Subject: [PATCH] fix(tests/lean/interactive): modify to reflect recent changes

---
 tests/lean/interactive/apply_info.input.expected.out       | 6 ------
 tests/lean/interactive/proof_state_info.input.expected.out | 3 ---
 2 files changed, 9 deletions(-)

diff --git a/tests/lean/interactive/apply_info.input.expected.out b/tests/lean/interactive/apply_info.input.expected.out
index 0f0f3a14f..d83793687 100644
--- a/tests/lean/interactive/apply_info.input.expected.out
+++ b/tests/lean/interactive/apply_info.input.expected.out
@@ -1,9 +1,6 @@
 -- BEGINWAIT
 -- ENDWAIT
 -- BEGININFO
--- IDENTIFIER|7|1
-tactic.apply
--- ACK
 -- TYPE|7|7
 a
 -- ACK
@@ -12,9 +9,6 @@ Ha
 -- ACK
 -- ENDINFO
 -- BEGININFO
--- IDENTIFIER|16|1
-tactic.apply
--- ACK
 -- TYPE|16|7
 b
 -- ACK
diff --git a/tests/lean/interactive/proof_state_info.input.expected.out b/tests/lean/interactive/proof_state_info.input.expected.out
index fb871341a..8353f9885 100644
--- a/tests/lean/interactive/proof_state_info.input.expected.out
+++ b/tests/lean/interactive/proof_state_info.input.expected.out
@@ -1,9 +1,6 @@
 -- BEGINWAIT
 -- ENDWAIT
 -- BEGININFO
--- IDENTIFIER|7|2
-tactic.info
--- ACK
 -- PROOF_STATE|7|2
 a : Prop,
 b : Prop,