Hi Owen, One suggestion: > + void dump(std::set<Value*>& s); > + void dump_unique(std::set<Value*, ExprLT>& s); My guess is that you want to pass these in as "const". Perhaps even making the method const? -bw