From 2ca0a22e2c32b66cd404296b40e9a7a0298b2065 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 3 Sep 2014 00:21:38 -0700
Subject: [PATCH] fix(tests/lean/interactive/in4): adjust test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 tests/lean/interactive/in4.input.expected.out | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/tests/lean/interactive/in4.input.expected.out b/tests/lean/interactive/in4.input.expected.out
index cd587b0db..e0ab2f797 100644
--- a/tests/lean/interactive/in4.input.expected.out
+++ b/tests/lean/interactive/in4.input.expected.out
@@ -7,10 +7,9 @@ rfl
 -- ACK
 -- ENDINFO
 -- AFTER REMOVE 8&9
--- BEGININFO
--- NAY
+-- BEGININFO STALE NAY
 -- ENDINFO
--- BEGININFO
+-- BEGININFO NAY
 -- ENDINFO
 -- BEGININFO
 -- TYPE|9|0