3 files changed, 6 insertions, 4 deletions
diff --git a/libsolidity/formal/SMTChecker.h b/libsolidity/formal/SMTChecker.h
index afe5897d..f0968cc7 100644
--- a/libsolidity/formal/SMTChecker.h
+++ b/libsolidity/formal/SMTChecker.h
@@ -34,7 +34,7 @@ class ErrorReporter;
 class SMTChecker: private ASTConstVisitor
 {
 public:
-	SMTChecker(ErrorReporter& _errorReporter, ReadFile::Callback const& _readCallback);
+	SMTChecker(ErrorReporter& _errorReporter, ReadCallback::Callback const& _readCallback);
 
 	void analyze(SourceUnit const& _sources);
 
diff --git a/libsolidity/formal/SMTLib2Interface.cpp b/libsolidity/formal/SMTLib2Interface.cpp
index 8cc4da66..4b118abc 100644
--- a/libsolidity/formal/SMTLib2Interface.cpp
+++ b/libsolidity/formal/SMTLib2Interface.cpp
@@ -18,6 +18,7 @@
 #include <libsolidity/formal/SMTLib2Interface.h>
 
 #include <libsolidity/interface/Exceptions.h>
+#include <libsolidity/interface/ReadFile.h>
 
 #include <boost/algorithm/string/predicate.hpp>
 #include <boost/algorithm/string/join.hpp>
@@ -33,10 +34,11 @@
 
 using namespace std;
 using namespace dev;
+using namespace dev::solidity;
 using namespace dev::solidity::smt;
 
-SMTLib2Interface::SMTLib2Interface(ReadFile::Callback const& _readFileCallback):
-	m_communicator(_readFileCallback)
+SMTLib2Interface::SMTLib2Interface(ReadCallback::Callback const& _queryCallback):
+	m_queryCallback(_queryCallback)
 {
 	reset();
 }
diff --git a/libsolidity/formal/SMTLib2Interface.h b/libsolidity/formal/SMTLib2Interface.h
index 5755ae3f..957f2ea4 100644
--- a/libsolidity/formal/SMTLib2Interface.h
+++ b/libsolidity/formal/SMTLib2Interface.h
@@ -42,7 +42,7 @@ namespace smt
 class SMTLib2Interface: public SolverInterface, public boost::noncopyable
 {
 public:
-	SMTLib2Interface(ReadFile::Callback const& _readFileCallback);
+	SMTLib2Interface(ReadCallback::Callback const& _queryCallback);
 
 	void reset() override;