Fix typo

runtimeverification · Aug 15, 2024 · bb52116 · bb52116
1 parent c78d8bb
commit bb52116
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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