Error running this command: diff -U 5 "/tmp/LtlSPt" "/tmp/05aGc9"
diff -U 5 "/tmp/LtlSPt" "/tmp/05aGc9"
No output on STDOUT.