From ce4e1d3cbb5e00abc26705c02a58b1c408ab2be9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 29 May 2020 19:54:50 -0700
Subject: [PATCH] fresh index

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/seq_regex.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/seq_regex.cpp b/src/smt/seq_regex.cpp
index 8e6cf1e0e..d30580497 100644
--- a/src/smt/seq_regex.cpp
+++ b/src/smt/seq_regex.cpp
@@ -77,7 +77,7 @@ namespace smt {
             ts.push_back(mk_cont(idx));
             for (auto const& p : patterns) {
                 ts.append(p);
-                ts.push_back(mk_cont(idx));
+                ts.push_back(mk_cont(++idx));
             }
             t = th.mk_concat(ts, seq_sort);
             th.propagate_eq(lit, s, t, true);