diff options
author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-05-29 23:34:24 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-05-29 23:34:24 +1000 |
commit | fd6bc1887fecca5338e7d5660d56a4038c805d96 (patch) | |
tree | ecc0f2188724834565b1f24705f3e90470ac37a7 /impl/Variable.hpp | |
parent | e043ee06a51a8d8c68f8cb0984d4f7bd8915bea8 (diff) |
Range stuff better, RecursiveFixpoint broken.
Diffstat (limited to 'impl/Variable.hpp')
-rw-r--r-- | impl/Variable.hpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/impl/Variable.hpp b/impl/Variable.hpp index a174ea8..35a3991 100644 --- a/impl/Variable.hpp +++ b/impl/Variable.hpp @@ -7,9 +7,9 @@ template<typename T> struct Variable : public Operator<T> { Variable(unsigned int id, const std::string& name) - : _id(id), _name(name) { } + : Operator<T>(name), _id(id), _name(name) { } Variable(const Variable& other) - : _id(other._id) { } + : Operator<T>(name), _id(other._id) { } unsigned int id() const { return _id; } |