From 4a4620ac955d3c61b4778dfab3a9e05a91e4fc33 Mon Sep 17 00:00:00 2001
From: Leonardo Alt <leo@ethereum.org>
Date: Fri, 12 Oct 2018 15:44:46 +0200
Subject: Refactor SSAVariable such that it only uses Type and not Declaration

---
 libsolidity/formal/SymbolicIntVariable.h | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'libsolidity/formal/SymbolicIntVariable.h')

diff --git a/libsolidity/formal/SymbolicIntVariable.h b/libsolidity/formal/SymbolicIntVariable.h
index d591e8db..92eeb13d 100644
--- a/libsolidity/formal/SymbolicIntVariable.h
+++ b/libsolidity/formal/SymbolicIntVariable.h
@@ -19,8 +19,6 @@
 
 #include <libsolidity/formal/SymbolicVariable.h>
 
-#include <libsolidity/ast/Types.h>
-
 namespace dev
 {
 namespace solidity
@@ -33,7 +31,8 @@ class SymbolicIntVariable: public SymbolicVariable
 {
 public:
 	SymbolicIntVariable(
-		Declaration const& _decl,
+		Type const& _type,
+		std::string const& _uniqueName,
 		smt::SolverInterface& _interface
 	);
 
-- 
cgit