From 1188e6df47f3d284910313911bf9e95a326abc23 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 8 Nov 2016 15:28:20 +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 56f6d7bb6..277fedb4a 100644
--- a/src/api/z3_replayer.cpp
+++ b/src/api/z3_replayer.cpp
@@ -72,7 +72,7 @@ struct z3_replayer::imp {
     void check_arg(unsigned pos, value_kind k) const {
         if (pos >= m_args.size()) {
             TRACE("z3_replayer", tout << "too few arguments " << m_args.size() << " expecting " << kind2string(k) << "\n";);
-            throw z3_replayer_exception("invalid argument reference2");
+            throw z3_replayer_exception("invalid argument reference");
         }
         if (m_args[pos].m_kind != k) {
             std::stringstream strm;