Version abc61128

1 files changed, 1 insertions, 1 deletions

diff --git a/abc.rc b/abc.rc
index e4902714..c2549000 100644
--- a/abc.rc
+++ b/abc.rc
@@ -1,7 +1,7 @@
 # global parameters
 set check         # checks intermediate networks
 #set checkfio      # prints warnings when fanins/fanouts are duplicated
-set checkread     # checks new networks after reading from file
+#set checkread     # checks new networks after reading from file
 set backup        # saves backup networks retrived by "undo" and "recall"
 set savesteps 1   # sets the maximum number of backup networks to save 
 set progressbar   # display the progress bar