Changeset 8a7dbe in git

Timestamp:

Nov 14, 2018, 6:07:20 PM (5 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

5a8e3555def9dbeb152cccd7ce475b1ba23086de

Parents:

268f992c683f3adc17fa1c52ca43340769af18b7

Message:

Don't print whitespace at end of lp expV

File:

• libpolys/polys/shiftop.cc (modified) (1 diff)

libpolys/polys/shiftop.cc

@@ -567 +567 @@
       StringAppendS("| ");
     }
-    if (i % ri->isLPring == 0)
+    if (i % ri->isLPring == 0 && i != ri->N)
     {
       StringAppendS(" ");