diff options
Diffstat (limited to 'impl/Variable.hpp')
| -rw-r--r-- | impl/Variable.hpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/impl/Variable.hpp b/impl/Variable.hpp index 5ebbbed..a174ea8 100644 --- a/impl/Variable.hpp +++ b/impl/Variable.hpp @@ -17,10 +17,8 @@ struct Variable : public Operator<T> { return _name; } //T operator() (const std::vector< Expression<T>* >& args, const VariableAssignment<T>& ass) const { - virtual T operator() (const std::vector< Expression<T>* >& args, const VariableAssignment<T>& assignment, VariableSet<T>* visited) const { + virtual T operator() (const std::vector< Expression<T>* >& args, const VariableAssignment<T>& assignment) const { //assert(args.size() == 0) - if (visited != NULL) - visited->insert(*this); return assignment[*this]; } private: |