From 8f45c8fe83365773da74e8d12e14775ad379b9bc Mon Sep 17 00:00:00 2001
From: Erik Krogh Kristensen <erik-krogh@github.com>
Date: Wed, 25 Mar 2020 20:02:35 +0100
Subject: [PATCH] use LoadStoreStep for type-tracking promises

---
 javascript/ql/src/semmle/javascript/Promises.qll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/javascript/ql/src/semmle/javascript/Promises.qll b/javascript/ql/src/semmle/javascript/Promises.qll
index f369e5d3527..56025b75ffb 100644
--- a/javascript/ql/src/semmle/javascript/Promises.qll
+++ b/javascript/ql/src/semmle/javascript/Promises.qll
@@ -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)
     )
   }