diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-08-27 22:24:52 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-08-27 22:25:00 +0200 |
| commit | 384cafab1e362a5083836e478b58ba55e0d3d377 (patch) | |
| tree | 843d2fdfd3d2ce4064b6194beac0c350a61f4ee7 /src/theory/rep_set.cpp | |
| parent | 525e7328cad1ac8afbc60ed8103e06665cf5b163 (diff) | |
Fix assertion in rep_set.cpp, avoid full check in datatypes when in conflict.
Diffstat (limited to 'src/theory/rep_set.cpp')
| -rw-r--r-- | src/theory/rep_set.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/rep_set.cpp b/src/theory/rep_set.cpp index 5a9b92fa0..ee14d6fc1 100644 --- a/src/theory/rep_set.cpp +++ b/src/theory/rep_set.cpp @@ -38,9 +38,9 @@ int RepSet::getNumRepresentatives( TypeNode tn ) const{ } void RepSet::add( TypeNode tn, Node n ){ - Assert( n.getType()==tn ); - d_tmap[ n ] = (int)d_type_reps[tn].size(); Trace("rsi-debug") << "Add rep #" << d_type_reps[tn].size() << " for " << tn << " : " << n << std::endl; + Assert( n.getType().isSubtypeOf( tn ) ); + d_tmap[ n ] = (int)d_type_reps[tn].size(); d_type_reps[tn].push_back( n ); } |