diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-02-14 11:47:03 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-02-14 11:47:14 +0100 |
| commit | bdf8f315287b05cc4b8ec143c30c9da534c836a2 (patch) | |
| tree | 1fdf752bb6399870704d0175993f7c011631e813 /src/util | |
| parent | 6b10ce5f61bf53bbd1cc2fc5a6c56e5f3324f221 (diff) | |
Fix unit tests.
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 |