Remove PrintError API and always call to Fatal or Anomaly instead#57
Open
jrosain wants to merge 1 commit intoGoelandProver:masterfrom
Open
Remove PrintError API and always call to Fatal or Anomaly instead#57jrosain wants to merge 1 commit intoGoelandProver:masterfrom
PrintError API and always call to Fatal or Anomaly instead#57jrosain wants to merge 1 commit intoGoelandProver:masterfrom
