Changeset 2bd4343 in git for kernel/tgb.cc

Timestamp:

Mar 5, 2013, 4:41:46 PM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'c987db42cd2ec943b97ac5746c99892ceddf909c')

Children:

0c85f5b430f03235e2be17c77b2811ebf3c1df3f

Parents:

95a471fd1f326509f0097438f13268f350aa45a9

Message:

fix: assumption wrong

File:

• kernel/tgb.cc (modified) (1 diff)

kernel/tgb.cc

@@ -1400 +1400 @@
     wlen_type el2 = c->weighted_lengths[j] / c2;
     assume (el2 != 0);
-    assume (c->weighted_lengths[j] % c2 == 0);
+    //assume (c->weighted_lengths[j] % c2 == 0); // fails in Tst/Plural/dmod_lib.tst
     //should be * for function fields
     //return (c1+c2) * (el1+el2-2);