aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SMTChecker.h
diff options
context:
space:
mode:
authorLeonardo Alt <leo@ethereum.org>2018-12-18 01:26:10 +0800
committerLeonardo Alt <leo@ethereum.org>2018-12-18 01:26:10 +0800
commitcce377833ae46f10e49cdf01f5685a6b2f7b0a57 (patch)
treeccc47b4d16035807ff5aca7a72074d72eb40ecf4 /libsolidity/formal/SMTChecker.h
parent7d3727bbf7e4dedd94b084e9d0549fb4e6960039 (diff)
downloaddexon-solidity-cce377833ae46f10e49cdf01f5685a6b2f7b0a57.tar
dexon-solidity-cce377833ae46f10e49cdf01f5685a6b2f7b0a57.tar.gz
dexon-solidity-cce377833ae46f10e49cdf01f5685a6b2f7b0a57.tar.bz2
dexon-solidity-cce377833ae46f10e49cdf01f5685a6b2f7b0a57.tar.lz
dexon-solidity-cce377833ae46f10e49cdf01f5685a6b2f7b0a57.tar.xz
dexon-solidity-cce377833ae46f10e49cdf01f5685a6b2f7b0a57.tar.zst
dexon-solidity-cce377833ae46f10e49cdf01f5685a6b2f7b0a57.zip
Sort includes in libsolidity/formal
Diffstat (limited to 'libsolidity/formal/SMTChecker.h')
-rw-r--r--libsolidity/formal/SMTChecker.h4
1 files changed, 1 insertions, 3 deletions
diff --git a/libsolidity/formal/SMTChecker.h b/libsolidity/formal/SMTChecker.h
index c749cbc3..f14d2ac0 100644
--- a/libsolidity/formal/SMTChecker.h
+++ b/libsolidity/formal/SMTChecker.h
@@ -22,13 +22,11 @@
#include <libsolidity/formal/SymbolicVariables.h>
#include <libsolidity/ast/ASTVisitor.h>
-
#include <libsolidity/interface/ReadFile.h>
-
#include <liblangutil/Scanner.h>
-#include <unordered_map>
#include <string>
+#include <unordered_map>
#include <vector>
namespace langutil