diff options
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/datatype.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/datatype.cpp b/src/util/datatype.cpp index 47bd7de66..1e310251c 100644 --- a/src/util/datatype.cpp +++ b/src/util/datatype.cpp @@ -316,9 +316,9 @@ Expr Datatype::mkGroundTerm( Type t ) const throw(IllegalArgumentException) { Expr groundTerm = computeGroundTerm( t, processing ); if(!groundTerm.isNull() ) { // we found a ground-term-constructing constructor! + d_ground_term[t] = groundTerm; Debug("datatypes") << "constructed: " << getName() << " => " << groundTerm << std::endl; } - d_ground_term[t] = groundTerm; if( groundTerm.isNull() ){ if( !d_isCo ){ // if we get all the way here, we aren't well-founded |