Disabled test output

eprover · Nov 26, 2020 · 5e6ae01 · 5e6ae01
1 parent 41869f1
commit 5e6ae01
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/PROVER/eprover.c b/PROVER/eprover.c
@@ -489,7 +489,7 @@ int main(int argc, char* argv[])
    proofcontrol = ProofControlAlloc();
    ProofControlInit(proofstate, proofcontrol, h_parms,
                     fvi_parms, wfcb_definitions, hcb_definitions);
-   HeuristicParmsPrint(stdout, h_parms);
+   // HeuristicParmsPrint(stdout, h_parms);
 
    // Unfold definitions and re-normalize
    preproc_removed += ClauseSetUnfoldEqDefNormalize(proofstate->axioms,