remove files unneeded for lttv

[lttv.git] / verif / nico / no_events_lost.ltl

diff --git a/verif/nico/no_events_lost.ltl b/verif/nico/no_events_lost.ltl
deleted file mode 100755 (executable)
index d61a20f..0000000
--- a/verif/nico/no_events_lost.ltl
+++ /dev/null
@@ -1 +0,0 @@
-buffer_large_enough -> ([](!have_events_lost))