diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-10-18 23:56:21 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-10-18 23:56:21 +0200 |
| commit | a0c6239f4e6e2e7756922764a4d7bb990043c29f (patch) | |
| tree | ee3ea5bbe7c41fdc228afc9f02773b5bf079da06 /src/theory | |
| parent | 7671fc17558dbb52df67838b3ad7166cb39d698a (diff) | |
Fix assertion.
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/datatypes/datatypes_rewriter.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/datatypes/datatypes_rewriter.h b/src/theory/datatypes/datatypes_rewriter.h index 8214f23e2..c8ce9833c 100644 --- a/src/theory/datatypes/datatypes_rewriter.h +++ b/src/theory/datatypes/datatypes_rewriter.h @@ -320,7 +320,7 @@ public: return false; } static bool isNullaryApplyConstructor( Node n ){ - Assert( n.getKind()==APPLY_CONSTRUCTOR ); + Assert( n.getKind()==kind::APPLY_CONSTRUCTOR ); for( unsigned i=0; i<n.getNumChildren(); i++ ){ if( n[i].getType().isDatatype() ){ return false; |