diff options
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); |