diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-16 20:53:00 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-16 20:53:00 +0000 |
| commit | 55820808b55999c27ee1a66df0e674318302d5a6 (patch) | |
| tree | 58a9b59e7216d7f39c8b72b9e92b7441389d7742 /src/theory/arith/tableau.h | |
| parent | 6df0b6f2ac842b0407232fcee72ff68b7e9deee5 (diff) | |
fix numerous documentation issues; doxygen complains much less, now
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. |