Error running this command: diff -U 5 "/tmp/vhdl1v" "/tmp/GFWcuJ"

No output on STDOUT.