From c44dd0129282b4c18308c8079b53d65af562bd68 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 22 Dec 2016 20:56:14 -0800
Subject: [PATCH] fix missing else reported in #855

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 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 e5fbf5720..68f279e3d 100644
--- a/src/api/z3_replayer.cpp
+++ b/src/api/z3_replayer.cpp
@@ -357,7 +357,7 @@ struct z3_replayer::imp {
                 v.push_back(static_cast<unsigned>(m_args[i].m_uint));
             }
         }
-        if (k == INT64) {
+        else if (k == INT64) {
             aidx = m_int_arrays.size();
             nk   = INT_ARRAY;
             m_int_arrays.push_back(svector<int>());