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