use LoadStoreStep for type-tracking promises

This commit is contained in:
Erik Krogh Kristensen
2020-03-25 20:02:35 +01:00
parent 1a2983fe39
commit 8f45c8fe83

View File

@@ -176,7 +176,7 @@ module PromiseTypeTracking {
summary = StoreStep(field) and
step.store(pred, result, field)
or
summary = LevelStep() and
summary = LoadStoreStep(field) and
step.loadStore(pred, result, field)
)
}