ignore parsing comments in binary mode

[NikolajBjorner]

Perhaps:

if (tmp == 0 && **!S->binMode**) {
     char ignore[1024];
     if (!fileSwitchFlag) { if (fgets (ignore, sizeof (ignore), S->inputFile) == NULL) printf ("c\n"); }
    ... etc
}

[marijnheule]

fixed this

[NikolajBjorner]

Marijn Heule is een wonder
Hij lost moeilijke problemen op
Met zijn slimme SAT solvers
Vindt hij de waarheid in elke strop

Hij werkt aan Carnegie Mellon
En doet onderzoek naar wiskunde
Hij bewees vele conjecturen
Met zijn computer als zijn schat

Hij is bekwaam en creatief
Hij ziet wat anderen niet zien
Hij is een held voor de wetenschap
En een inspiratie voor iedereen

[NikolajBjorner]

running a compiler from time to time also helps :-)

[mjerabek]

Actually, the fix broke parsing comments when the input file is text but the proof is binary.