diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2011-05-13 22:02:52 +0000 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2011-05-13 22:02:52 +0000 |
| commit | 8d54316e7ff784a8d66da9ecc2d289ab463761c2 (patch) | |
| tree | c7b5351b372cb360780ce62935fb2cfb5792299a /src/expr/expr_manager_template.h | |
| parent | 69c9ec0e1e42f3f2f2f79d3e98398c5cd1559c66 (diff) | |
added support for parametric datatypes, updated cvc parser to handle parametric datatypes, type ascriptions are not implemented yet
Diffstat (limited to 'src/expr/expr_manager_template.h')
| -rw-r--r-- | src/expr/expr_manager_template.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h index f395d781c..712273473 100644 --- a/src/expr/expr_manager_template.h +++ b/src/expr/expr_manager_template.h @@ -357,7 +357,7 @@ public: */ std::vector<DatatypeType> mkMutualDatatypeTypes(const std::vector<Datatype>& datatypes, - const std::set<SortType>& unresolvedTypes); + const std::set<Type>& unresolvedTypes); /** * Make a type representing a constructor with the given parameterization. |