From 17add47a271335fe8c6e8bbe8ebf6d42fed0acad Mon Sep 17 00:00:00 2001 From: Leo Alt Date: Tue, 15 Mar 2022 12:05:22 +0100 Subject: [PATCH] Fix compilation after rebase --- libsolidity/formal/SymbolicState.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/libsolidity/formal/SymbolicState.cpp b/libsolidity/formal/SymbolicState.cpp index 6801e7717..3b613b75f 100644 --- a/libsolidity/formal/SymbolicState.cpp +++ b/libsolidity/formal/SymbolicState.cpp @@ -28,6 +28,7 @@ using namespace std; using namespace solidity; +using namespace solidity::util; using namespace solidity::smtutil; using namespace solidity::frontend::smt;