diff options
| author | Tim King <taking@cs.nyu.edu> | 2017-11-29 08:43:38 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-29 08:43:38 -0800 |
| commit | d04b4693b5746cf90d262a50a87734eb12d37664 (patch) | |
| tree | 3663332cd532b817f98a66b1467e75b5efaac0e9 /src/parser/tptp/tptp.h | |
| parent | 41917106e89bd35e99ac313f0a5ca13f72f86d93 (diff) | |
Simplifying the conditions in checkLetBinding to avoid using iterator… (#1372)
Diffstat (limited to 'src/parser/tptp/tptp.h')
| -rw-r--r-- | src/parser/tptp/tptp.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/tptp/tptp.h b/src/parser/tptp/tptp.h index c955d152e..4e03bc576 100644 --- a/src/parser/tptp/tptp.h +++ b/src/parser/tptp/tptp.h @@ -115,7 +115,7 @@ class Tptp : public Parser { void includeFile(std::string fileName); /** Check a TPTP let binding for well-formedness. */ - void checkLetBinding(std::vector<Expr>& bvlist, Expr lhs, Expr rhs, + void checkLetBinding(const std::vector<Expr>& bvlist, Expr lhs, Expr rhs, bool formula); private: |