diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-11-16 03:47:25 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-11-16 03:47:25 +0000 |
commit | f55dfd4df98fbecbd0ef0f86da79d537457109d6 (patch) | |
tree | 8979e0e92e4d228d285c847f4af4913d4d8a7638 /src/parser/parser.cpp | |
parent | b9118b75a8ee24a94a693cd3f850c63eb5085ef1 (diff) |
Addressed many of the concerns raised in the public interface review of CVC4 Datatypes (bug #283) by Chris Conway. Thanks, Chris!
Diffstat (limited to 'src/parser/parser.cpp')
-rw-r--r-- | src/parser/parser.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index f1ad4b330..4418ea18f 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -286,7 +286,7 @@ Parser::mkMutualDatatypeTypes(const std::vector<Datatype>& datatypes) { j_end = dt.end(); j != j_end; ++j) { - const Datatype::Constructor& ctor = *j; + const DatatypeConstructor& ctor = *j; Expr::printtypes::Scope pts(Debug("parser-idt"), true); Expr constructor = ctor.getConstructor(); Debug("parser-idt") << "+ define " << constructor << std::endl; @@ -302,7 +302,7 @@ Parser::mkMutualDatatypeTypes(const std::vector<Datatype>& datatypes) { throw ParserException(testerName + " already declared"); } defineVar(testerName, tester); - for(Datatype::Constructor::const_iterator k = ctor.begin(), + for(DatatypeConstructor::const_iterator k = ctor.begin(), k_end = ctor.end(); k != k_end; ++k) { |