Corrected MC-SAT _run output#22

kaivalyar wants to merge 1 commit into

danielnyga:masterdanielnyga/pracmln:masterfrom

kaivalyar:print-error-fixkaivalyar/pracmln:print-error-fixCopy head branch name to clipboard