From f945838c611756166866d0271509d4db5b8cf524 Mon Sep 17 00:00:00 2001
From: Ludovic Jacomme <alliance-cvs@asim.lip6.fr>
Date: Fri, 2 Aug 2002 13:15:08 +0000
Subject: [PATCH] gloups

---
 alliance/src/syf/src/syf_verify.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/alliance/src/syf/src/syf_verify.c b/alliance/src/syf/src/syf_verify.c
index 987591c5..bff95153 100644
--- a/alliance/src/syf/src/syf_verify.c
+++ b/alliance/src/syf/src/syf_verify.c
@@ -902,9 +902,6 @@ void SyfFsmTreatReset( FsmFigure )
     SumStar   = applybddnode( (bddsystem *)0, ABL_OR, SumStar, TransCond );
   }
 
-  addbddcircuitout( (bddcircuit *)0, "hello", SumStar );
-  testbddcircuit( (bddcircuit *)0 );
-
   decbddrefext( SumStar );
   SumStar = applybddnodenot( (bddsystem *)0, SumStar );