Error running this command: diff -U 5 "/home/users/hisystems/tmp/Pu4smt" "/home/users/hisystems/tmp/MdCpLp"
diff -U 5 "/home/users/hisystems/tmp/Pu4smt" "/home/users/hisystems/tmp/MdCpLp"
No output on STDOUT.