Error running this command: diff -U 5 "/tmp/ci79sM" "/tmp/HsMatP"
diff -U 5 "/tmp/ci79sM" "/tmp/HsMatP"
No output on STDOUT.