update verif

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

diff --git a/trunk/verif/examples/run2 b/trunk/verif/examples/run2
deleted file mode 100755 (executable)
index f69a545..0000000
--- a/trunk/verif/examples/run2
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/bash
-../Spin/Src5.1.6/spin -t -p buffer.spin |less