This commit is contained in:
jl777
2019-03-13 07:14:29 -11:00
parent 01a63eb151
commit 8f18bbbed5
4 changed files with 67 additions and 43 deletions

View File

@@ -467,7 +467,7 @@ over:
ntimes++;
}
if ( fp2 == 0 )
fp2 = fopen("commands","wb");
rs->logfp = fp2 = fopen("commands","wb");
if ( fp2 != 0 )
{
fprintf(fp2,"after if (%c).%d seed.%llu\n",ch,ch,(long long)seed);