From 2df5a4e3f9df926b5d29eab0b5aaddbe4827aeb3 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 12 Nov 2016 15:01:54 +0000
Subject: [PATCH] typo

---
 src/api/z3_replayer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/z3_replayer.cpp b/src/api/z3_replayer.cpp
index 277fedb4a..e5fbf5720 100644
--- a/src/api/z3_replayer.cpp
+++ b/src/api/z3_replayer.cpp
@@ -30,7 +30,7 @@ void register_z3_replayer_cmds(z3_replayer & in);
 
 void throw_invalid_reference() {
     TRACE("z3_replayer", tout << "invalid argument reference\n";);
-    throw z3_replayer_exception("invalid argument reference1");
+    throw z3_replayer_exception("invalid argument reference");
 }
 
 struct z3_replayer::imp {