From 2673a33bf3507a01a6a388b49971d4ccbccfc51c Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 27 Jun 2014 19:52:49 -0700
Subject: [PATCH] fix(util/thread_script_state): new state was being added
 twice to g_states, use import_explicit

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/thread_script_state.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/util/thread_script_state.cpp b/src/util/thread_script_state.cpp
index 73923ef1e..2e65ca725 100644
--- a/src/util/thread_script_state.cpp
+++ b/src/util/thread_script_state.cpp
@@ -69,9 +69,8 @@ static script_state get_state() {
             if (p.first)
                 r.dostring(p.second.c_str());
             else
-                r.import(p.second.c_str());
+                r.import_explicit(p.second.c_str());
         }
-        g_states.push_back(r);
         {
             // save new state in vector of all states
             lock_guard<mutex> lk(g_state_mutex);