Index: tetest.c =================================================================== --- tetest.c (revision 32880) +++ tetest.c (revision 32881) @@ -147,9 +147,7 @@ continue; tedax_etest_fsave_pstk(f, ps, t->parent.net->name, sc->refdes, ps->term); } - rnd_r_end(&it); - fprintf(f, "end etest\n"); return 0; }