diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-12-22 23:21:40 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-12-22 23:21:40 +0100 |
| commit | 76da4764db903c503ac339584db667aa50748179 (patch) | |
| tree | 1c7f35e8ee0804aaf08679daac8ad2ef9f3b8b09 /src/util | |
| parent | 1eef0f8d079e40cf9eac76e70399908d75dc11bc (diff) | |
Do not collapse wrongly applied selectors for non-well-founded codatatypes pre-model.
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/datatype.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/datatype.cpp b/src/util/datatype.cpp index f0704520a..7813626a7 100644 --- a/src/util/datatype.cpp +++ b/src/util/datatype.cpp @@ -228,6 +228,7 @@ Expr Datatype::mkGroundTerm( Type t ) const throw(IllegalArgumentException) { // we're using some internals, so we have to set up this library context ExprManagerScope ems(d_self); + Debug("datatypes") << "dt mkGroundTerm " << t << std::endl; TypeNode self = TypeNode::fromType(d_self); |