spelling: determine

Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
This commit is contained in:
Josh Soref
2022-10-13 12:30:01 -04:00
parent 5dd575a494
commit 96aab6902a

View File

@@ -911,7 +911,7 @@ module BooleanSplitting {
* ```
*
* the branch taken in the condition on line 2 can be recorded, and the
* recorded value will detmine the branch taken in the condition on line 4.
* recorded value will determine the branch taken in the condition on line 4.
*/
abstract predicate correlatesConditions(ConditionBlock cb1, ConditionBlock cb2, boolean inverted);