Version abc80705

1 files changed, 1 insertions, 1 deletions

diff --git a/abc.rc b/abc.rc
index 526a08de..e0304667 100644
--- a/abc.rc
+++ b/abc.rc
@@ -2,7 +2,7 @@
 #set check         # checks intermediate networks
 #set checkfio      # prints warnings when fanins/fanouts are duplicated
 #set checkread     # checks new networks after reading from file
-set backup        # saves backup networks retrived by "undo" and "recall"
+#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