gloups

2002-08-02 13:15:08 +00:00 · 2002-08-02 13:15:08 +00:00 · f945838c61
parent 580237f8d4
commit f945838c61
1 changed files with 0 additions and 3 deletions
--- 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 );