From 457e243e588e7ed5f39251784335e254a0c9e711 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 22 Dec 2005 08:01:00 -0800
Subject: Version abc51222

---
 src/sat/fraig/fraigMan.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/sat/fraig/fraigMan.c')

diff --git a/src/sat/fraig/fraigMan.c b/src/sat/fraig/fraigMan.c
index 4801e340..673fcad7 100644
--- a/src/sat/fraig/fraigMan.c
+++ b/src/sat/fraig/fraigMan.c
@@ -104,7 +104,8 @@ Fraig_Man_t * Fraig_ManCreate( Fraig_Params_t * pParams )
     Fraig_Man_t * p;
 
     // set the random seed for simulation
-    srand( 0xFEEDDEAF );
+//    srand( 0xFEEDDEAF );
+    srand( 0xDEADCAFE );
 
     // set parameters for equivalence checking
     if ( pParams == NULL )
-- 
cgit v1.2.3