diff options
Diffstat (limited to 'src/theory/arith/tableau.h')
-rw-r--r-- | src/theory/arith/tableau.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/tableau.h b/src/theory/arith/tableau.h index 3da3d68a5..f143b36c4 100644 --- a/src/theory/arith/tableau.h +++ b/src/theory/arith/tableau.h @@ -314,7 +314,7 @@ public: /** * Adds a row to the tableau. * The new row is equivalent to: - * basicVar = \sum_i coeffs[i] * variables[i] + * basicVar = \f$\sum_i\f$ coeffs[i] * variables[i] * preconditions: * basicVar is already declared to be basic * basicVar does not have a row associated with it in the tableau. |