From cce377833ae46f10e49cdf01f5685a6b2f7b0a57 Mon Sep 17 00:00:00 2001
From: Leonardo Alt <leo@ethereum.org>
Date: Mon, 17 Dec 2018 18:26:10 +0100
Subject: Sort includes in libsolidity/formal

---
 libsolidity/formal/SMTPortfolio.h | 3 ---
 1 file changed, 3 deletions(-)

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

diff --git a/libsolidity/formal/SMTPortfolio.h b/libsolidity/formal/SMTPortfolio.h
index 7f5ba37e..8c38bd2e 100644
--- a/libsolidity/formal/SMTPortfolio.h
+++ b/libsolidity/formal/SMTPortfolio.h
@@ -19,13 +19,10 @@
 
 
 #include <libsolidity/formal/SolverInterface.h>
-
 #include <libsolidity/interface/ReadFile.h>
-
 #include <libdevcore/FixedHash.h>
 
 #include <boost/noncopyable.hpp>
-
 #include <map>
 #include <vector>
 
-- 
cgit