[PPL-devel] [GIT] ppl/ppl(master): Comment corrected.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 5010fa847b1f389aaee61e8cdfc94e1d8df27c1b
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5010fa847b1f389aaee61e8cdfc94e1d8df27c1b

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Mar  9 19:14:06 2012 +0100

Comment corrected.

---

 src/PIP_Tree.cc |    6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc
index 4f2e82e..0864681 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -221,8 +221,10 @@ add_artificial_parameters(Matrix& context, Variables_Set& params,
 }
 
 /* Compares two columns lexicographically in a revised simplex tableau:
-  - returns true if (column ja)*(-cst_a)/pivot_a[ja]
-                    << (column jb)*(-cst_b)/pivot_b[jb];
+  - returns true if
+    <CODE>
+      (column ja)*(-cst_a)/pivot_a[ja] < (column jb)*(-cst_b)/pivot_b[jb];
+    </CODE>
   - returns false otherwise.
 */
 bool