Error running this command: diff -w -U 5 "/tmp/7RUo0B" "/tmp/coqmEB"
diff -w -U 5 "/tmp/7RUo0B" "/tmp/coqmEB"
No output on STDOUT.