Fixed a warning in Sylvan about a condition that was always true.

* The intention seems to be that ratio is between -10 and 10, since the documentation also mentions zero as a possible value.
mCRL2org · Mar 5, 2021 · d798a3e · d798a3e · tneele · Mar 6, 2021
1 parent 8797774
commit d798a3e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/3rd-party/sylvan/src/sylvan_common.c b/3rd-party/sylvan/src/sylvan_common.c
@@ -306,8 +306,8 @@ sylvan_set_sizes(size_t min_tablesize, size_t max_tablesize, size_t min_cachesiz
 void
 sylvan_set_limits(size_t memorycap, int table_ratio, int initial_ratio)
 {
-    if (table_ratio > 10 && table_ratio < 10) {
-        fprintf(stderr, "sylvan_set_limits: table_ratio unreasonable (between -10 and 10)\n");
+    if (table_ratio < -10 || table_ratio > 10) {
+        fprintf(stderr, "sylvan_set_limits: table_ratio unreasonable (should be between -10 and 10)\n");
         exit(1);
     }