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

Merge pull request #11491 from TerranCivilian/fix-10269

Browse Source 
Remove unneeded include files
This commit is contained in:
chriseth
2021-06-07 20:15:20 +02:00
committed by GitHub
parent e3e6729f22 c15501eea9
commit 7d8a4e63d8
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>