fix test that was using old code

This commit is contained in:
erik-krogh
2022-08-16 23:35:29 +02:00
parent 2c71c46282
commit 04173b7e93

View File

@@ -11,9 +11,6 @@ predicate configStep(Node pred, Node succ) {
)
}
class CustomStep extends AdditionalTypeTrackingStep, Node {
override predicate step(Node pred, Node succ) {
pred = this and
configStep(pred, succ)
}
class CustomStep extends SharedTypeTrackingStep {
override predicate step(Node pred, Node succ) { configStep(pred, succ) }
}