From ab1bbf25aff04b4db4098f264c95bfb30b5b06fc Mon Sep 17 00:00:00 2001
From: David_Korzeniewski <david.korzeniewski@rwth-aachen.de>
Date: Fri, 26 Sep 2014 16:34:07 +0200
Subject: [PATCH] Possible fix for gcc & clang

Former-commit-id: 828ce1843c42c23bb85fec595a75a00b5b0bf2ad
---
 src/solver/Z3SmtSolver.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/solver/Z3SmtSolver.cpp b/src/solver/Z3SmtSolver.cpp
index 5f00947f5..11c6bd43f 100644
--- a/src/solver/Z3SmtSolver.cpp
+++ b/src/solver/Z3SmtSolver.cpp
@@ -294,7 +294,8 @@ namespace storm {
 					modelExpr = modelExpr && (z3ImportantAtom == z3ImportantAtomValuation);
 				}
 
-				proceed = callback(Z3ModelReference(m, m_adapter));
+				Z3ModelReference modelRef(m, m_adapter);
+				proceed = callback(modelRef);
 
 				this->m_solver.add(!modelExpr);
 			}