diff options
Diffstat (limited to 'src/theory/sep/theory_sep.cpp')
| -rw-r--r-- | src/theory/sep/theory_sep.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/sep/theory_sep.cpp b/src/theory/sep/theory_sep.cpp index ba1680c6b..b19ba68de 100644 --- a/src/theory/sep/theory_sep.cpp +++ b/src/theory/sep/theory_sep.cpp @@ -1208,7 +1208,7 @@ Node TheorySep::getBaseLabel( TypeNode tn ) { bool tn_is_monotonic = true; if( tn.isSort() ){ //TODO: use monotonicity inference - tn_is_monotonic = !getLogicInfo().isQuantified(); + tn_is_monotonic = !logicInfo().isQuantified(); }else{ tn_is_monotonic = tn.getCardinality().isInfinite(); } |