minor fix for proof logging.

src/proof.c

@@ -298,7 +298,7 @@ print_added_proof_line (proof * proof)
   if (proof->binary)
     kissat_putc (proof->file, 'a');
   else{
-    kissat_put_string(proof->file, "red");
+    kissat_put_string(proof->file, "red ");
   }
 
   int pivotLit = 0;
@@ -353,7 +353,7 @@ print_delete_proof_line (proof * proof)
     kissat_putc (proof->file, 'd');
   }
   else {
-    kissat_put_string(proof->file, "del find");
+    kissat_put_string(proof->file, "del find ");
   }
   print_proof_line (proof);
   if (!proof->binary)