From 049f52bfe9f60a6c75919c81301efaa5ed6651a2 Mon Sep 17 00:00:00 2001
From: Daniel Selsam <daniel.selsam@gmail.com>
Date: Sat, 7 Nov 2015 15:41:06 -0800
Subject: [PATCH] test(library/simplifier): fix name in test

---
 tests/lean/rw_set2.lean.expected.out | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/lean/rw_set2.lean.expected.out b/tests/lean/rw_set2.lean.expected.out
index 4f688c884..94d13f3e0 100644
--- a/tests/lean/rw_set2.lean.expected.out
+++ b/tests/lean/rw_set2.lean.expected.out
@@ -10,7 +10,7 @@ simplification rules for iff
 #1, 0 < succ ?M_1 ↦ true
 simplification rules for eq
 #1, g ?M_1 ↦ f ?M_1 + 1
-#2, g ?M_1 ↦ 1
+#2, g ?M_3 ↦ 1
 #2, f ?M_1 ↦ 0
 #4, ite ?M_1 ?M_4 ?M_4 ↦ ?M_4
 #1, 0 - ?M_1 ↦ 0