"Fix" spelling

This commit is contained in:
Dave Bartolomeo
2020-02-19 15:57:19 -07:00
committed by GitHub
parent 89bbb975f9
commit 5263222dc2

View File

@@ -19,7 +19,7 @@ abstract class SideEffectFunction extends Function {
* Holds if the function never reads from memory that was defined before entry to the function.
* This memory could be from global variables, or from other memory that was reachable from a
* pointer that was passed into the function. Input side-effects, and reads from memory that
* cannot be visible to the caller (for example a buffer inside an I/O library) are not modelled
* cannot be visible to the caller (for example a buffer inside an I/O library) are not modeled
* here.
*/
abstract predicate hasOnlySpecificReadSideEffects();