From ec39fdcb3c6b3d5eb07ea6768fb3926fe54dc47e Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Mon, 15 Oct 2018 17:32:17 +0200 Subject: [SMTChecker] Refactoring types --- libsolidity/formal/SymbolicVariable.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'libsolidity/formal/SymbolicVariable.cpp') diff --git a/libsolidity/formal/SymbolicVariable.cpp b/libsolidity/formal/SymbolicVariable.cpp index afbc01ba..18cf00dc 100644 --- a/libsolidity/formal/SymbolicVariable.cpp +++ b/libsolidity/formal/SymbolicVariable.cpp @@ -30,7 +30,8 @@ SymbolicVariable::SymbolicVariable( ): m_type(_type), m_uniqueName(_uniqueName), - m_interface(_interface) + m_interface(_interface), + m_ssa(make_shared()) { } -- cgit