update verif

[lttv.git] / trunk / verif / examples / pan

diff --git a/trunk/verif/examples/pan b/trunk/verif/examples/pan
index a0356c1856af44062658f30290864cb0d7741232..c6cf6e59a21d2725bdfe70da538248ea6d9755b0 100755 (executable)
Binary files a/trunk/verif/examples/pan and b/trunk/verif/examples/pan differ