Merge pull request #5224 from bshastry/compilerwarn-fix

Fix compiler warning
This commit is contained in:
chriseth authored and GitHub committed 2018-10-17 17:23:22 +02:00
commit 9d00f710bc
1 file changed
+2 -2
+2 -2
View File
@@ -171,8 +171,8 @@ public:
}
}
std::string const name;
std::vector<Expression> const arguments;
std::string name;
std::vector<Expression> arguments;
Sort sort;
private: