diff --git a/booster/library/Booster/Pattern/ApplyEquations.hs b/booster/library/Booster/Pattern/ApplyEquations.hs index 55a50c13fd..dc08a8e121 100644 --- a/booster/library/Booster/Pattern/ApplyEquations.hs +++ b/booster/library/Booster/Pattern/ApplyEquations.hs @@ -840,7 +840,7 @@ applyEquation term rule = ) -- check required constraints from lhs. - -- Reaction on false/indeterminate is varies depending on the equation's type (function/simplification), + -- Reaction on false/indeterminate varies depending on the equation's type (function/simplification), -- see @handleSimplificationEquation@ and @handleFunctionEquation@ checkRequires subst