Skip to content

Commit 9bac25f

Browse files
authoredMar 17, 2025··
Update if_lifting.jl
1 parent 03f7657 commit 9bac25f

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed
 

‎src/systems/if_lifting.jl

+2-2
Original file line numberDiff line numberDiff line change
@@ -85,7 +85,7 @@ function (cw::CondRewriter)(expr, dep)
8585
return (expr, true, true)
8686
# other singleton symbolic variables
8787
elseif !iscall(expr)
88-
@warn "Automatic conversion of if statments to events requires use of a limited conditional grammar; see the documentation. Skipping due to $expr"
88+
@warn "Automatic conversion of if statements to events requires use of a limited conditional grammar; see the documentation. Skipping due to $expr"
8989
return (expr, true, true) # error case => conservative assumption is that both true and false have to be evaluated
9090
elseif operation(expr) == Base.:(|) # OR of two conditions
9191
a, b = arguments(expr)
@@ -405,7 +405,7 @@ const CONDITION_SIMPLIFIER = Rewriters.Fixpoint(Rewriters.Postwalk(Rewriters.Cha
405405
(@rule ifelse(false, (~x), (~y)) => (~y))])))
406406

407407
"""
408-
If lifting converts (nested) if statements into a series of continous events + a logically equivalent if statement + parameters.
408+
If lifting converts (nested) if statements into a series of continuous events + a logically equivalent if statement + parameters.
409409
410410
Lifting proceeds through the following process:
411411
* rewrite comparisons to be of the form eqn [op] 0; subtract the RHS from the LHS

0 commit comments

Comments
 (0)
Please sign in to comment.