cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Remove unneeded include files

Browse Source
This commit is contained in:
TerranCivilian
2021-06-07 12:53:18 -04:00
parent 7d1df95176
commit c15501eea9
46 changed files with 0 additions and 65 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsolidity/formal/BMC.cpp
-1
View File
@@ -18,7 +18,6 @@
#include <libsolidity/formal/BMC.h>
#include <libsolidity/formal/SymbolicState.h>
#include <libsolidity/formal/SymbolicTypes.h>
#include <libsmtutil/SMTPortfolio.h>
libsolidity/formal/SymbolicVariables.cpp
-1
View File
@@ -20,7 +20,6 @@
#include <libsolidity/formal/EncodingContext.h>
#include <libsolidity/formal/SymbolicTypes.h>
#include <libsolidity/ast/AST.h>
#include <libsolutil/Algorithms.h>