diff options
Diffstat (limited to 'Source/Provers/Z3/TypeDeclCollector.ssc')
| -rw-r--r-- | Source/Provers/Z3/TypeDeclCollector.ssc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Z3/TypeDeclCollector.ssc b/Source/Provers/Z3/TypeDeclCollector.ssc index 86307b45..8173f7f3 100644 --- a/Source/Provers/Z3/TypeDeclCollector.ssc +++ b/Source/Provers/Z3/TypeDeclCollector.ssc @@ -117,7 +117,7 @@ namespace Microsoft.Boogie.Z3 // there are a couple of cases where operators have to be
// registered by generating appropriate Z3 statements
- if (node.Op.Equals(VCExpressionGenerator.BvConcatOp)) {
+ if (node.Op is VCExprBvConcatOp) {
//
if (NativeBv) {
RegisterType(node[0].Type);
|