move everything out of trunk

[lttv.git] / trunk / verif / nico / read_write.ltl

diff --git a/trunk/verif/nico/read_write.ltl b/trunk/verif/nico/read_write.ltl
deleted file mode 100755 (executable)
index f78149e..0000000
--- a/trunk/verif/nico/read_write.ltl
+++ /dev/null
@@ -1 +0,0 @@
-[] (rd_wr_wr_off1 && rd_wr_wr_off2)