Say: 'It violates the...'

Addressing comment by Elena: modelica#2907 (review)
henrikt-ma · May 11, 2021 · 1baabf5 · 1baabf5
1 parent 3a4b02c
commit 1baabf5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/chapters/operatorsandexpressions.tex b/chapters/operatorsandexpressions.tex
@@ -1406,8 +1406,8 @@ \section{Variability of Expressions}\label{variability-of-expressions}
   /* The equation below can be rejected for two reasons:
    * 1. Discrete-valued equation variability rule requires both sides to be
    *    discrete-time.
-   * 2. Violates perfect matching rule, as no variable can be solved with
-   *    correct variability using this equation.
+   * 2. It violates the perfect matching rule, as no variable can be solved
+   *    with correct variability using this equation.
    */
   b2 = noEvent(x > 1); // Error, see above.
   i2 = x;              // No variability error, and can be matched to x.