Error running this command: diff -U 5 "/tmp/IFaCSE" "/tmp/9C9drD"
diff -U 5 "/tmp/IFaCSE" "/tmp/9C9drD"
No output on STDOUT.