Disable NAMED_SUB_IS_FORWARD_LIST by default

tautschnig · tautschnig · commit be29a848a987 · 2019-05-29T22:14:37.000Z
This is an experiment to see whether NAMED_SUB_IS_FORWARD_LIST=1 is the
root cause of builds and tests taking &gt;70 minutes on Travis when
previously they would only take 26 minutes.
diff --git a/src/util/irep.h b/src/util/irep.h
@@ -21,7 +21,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #  define HASH_CODE 1
 #endif
 #ifndef NAMED_SUB_IS_FORWARD_LIST
-#  define NAMED_SUB_IS_FORWARD_LIST 1
+#  define NAMED_SUB_IS_FORWARD_LIST 0
 #endif
 
 #if NAMED_SUB_IS_FORWARD_LIST
