JS: Fix qldoc

This commit is contained in:
Asger F
2024-02-29 13:59:25 +01:00
parent f384afbaf6
commit 13e3a5158e

View File

@@ -78,7 +78,7 @@ private module Cached {
}
/**
* Holds if `loadProp` of `parameter` is stored in the `storeProp` property of the return value of `fun`.
* Holds if `loadProp` of `param` is stored in the `storeProp` property of the return value of `fun`.
*/
pragma[nomagic]
private predicate summarizedLoadStoreStep(