aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-10-17 23:23:22 +0800
committerGitHub <noreply@github.com>2018-10-17 23:23:22 +0800
commit9d00f710bc9564e2f99dade0200795cfd2ff7fa8 (patch)
tree9d1c788eed1335b787a41241a5643a157a5a963b
parentc6a6e9ac5d91a0b45eafa4a6ac10fa3e8b3c6ad2 (diff)
parent67fd3ca4a7089fbfcda9cafd15ddfb281ead85c9 (diff)
downloaddexon-solidity-9d00f710bc9564e2f99dade0200795cfd2ff7fa8.tar
dexon-solidity-9d00f710bc9564e2f99dade0200795cfd2ff7fa8.tar.gz
dexon-solidity-9d00f710bc9564e2f99dade0200795cfd2ff7fa8.tar.bz2
dexon-solidity-9d00f710bc9564e2f99dade0200795cfd2ff7fa8.tar.lz
dexon-solidity-9d00f710bc9564e2f99dade0200795cfd2ff7fa8.tar.xz
dexon-solidity-9d00f710bc9564e2f99dade0200795cfd2ff7fa8.tar.zst
dexon-solidity-9d00f710bc9564e2f99dade0200795cfd2ff7fa8.zip
Merge pull request #5224 from bshastry/compilerwarn-fix
Fix compiler warning
-rw-r--r--libsolidity/formal/SolverInterface.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/libsolidity/formal/SolverInterface.h b/libsolidity/formal/SolverInterface.h
index 8bbd0417..af1cc8e4 100644
--- a/libsolidity/formal/SolverInterface.h
+++ b/libsolidity/formal/SolverInterface.h
@@ -171,8 +171,8 @@ public:
}
}
- std::string const name;
- std::vector<Expression> const arguments;
+ std::string name;
+ std::vector<Expression> arguments;
Sort sort;
private: