diff options
Diffstat (limited to 'src/expr')
| -rw-r--r-- | src/expr/datatype.cpp | 1 | ||||
| -rw-r--r-- | src/expr/expr_manager_template.cpp | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/datatype.cpp b/src/expr/datatype.cpp index 14b21a96a..7e5fb6d7d 100644 --- a/src/expr/datatype.cpp +++ b/src/expr/datatype.cpp @@ -835,6 +835,7 @@ std::ostream& operator<<(std::ostream& out, const DatatypeIndexConstant& dic) { return out << "index_" << dic.getIndex(); } + std::string Datatype::getName() const { ExprManagerScope ems(*d_em); diff --git a/src/expr/expr_manager_template.cpp b/src/expr/expr_manager_template.cpp index 411d64a1b..1981d0a7d 100644 --- a/src/expr/expr_manager_template.cpp +++ b/src/expr/expr_manager_template.cpp @@ -681,7 +681,7 @@ std::vector<DatatypeType> ExprManager::mkMutualDatatypeTypes( for(std::vector<Datatype>::iterator i = datatypes.begin(), i_end = datatypes.end(); i != i_end; ++i) { dt_copies.push_back( new Datatype( *i ) ); } - + // First do some sanity checks, set up the final Type to be used for // each datatype, and set up the "named resolutions" used to handle // simple self- and mutual-recursion, for example in the definition |