diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-08 03:23:16 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-08 03:23:16 +0800 |
| commit | 4b31d8f59a6d3237f176a122c82f46fdaef4551d (patch) | |
| tree | 917c9d42bb2cdbe96f5fc5416ae55789986029d7 /src/core/term_bank.cc | |
| parent | 5ab3efd522cf0221481684b5bbc9c2ac6bfc9919 (diff) | |
| download | ratp-4b31d8f59a6d3237f176a122c82f46fdaef4551d.tar.gz ratp-4b31d8f59a6d3237f176a122c82f46fdaef4551d.tar.xz | |
Diffstat (limited to 'src/core/term_bank.cc')
| -rw-r--r-- | src/core/term_bank.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/term_bank.cc b/src/core/term_bank.cc index 2e117b3..0dc166f 100644 --- a/src/core/term_bank.cc +++ b/src/core/term_bank.cc @@ -53,7 +53,7 @@ const Term& TermBank::getTerm(TermId id) const { bool TermBank::isVariable(TermId id) const { assert(id < terms_.size() && "TermId out of bounds!"); - return symbols_.isVariable(terms_[id].symbol_id_); + return symbols_->isVariable(terms_[id].symbol_id_); } size_t TermBank::size() const { |