correct minor syntax mistake

[16.git] / vrldbg

diff --git a/vrldbg b/vrldbg
index cdbc98d0b376bb797f2c13b236b1bc292b7616ce..4a9c2ddd5776754f0b8bda669f1e6d4c3d4fae9f 100755 (executable)
Binary files a/vrldbg and b/vrldbg differ