tests: cleanup sav directory

[nit.git] / tests / sav / base_label_closure_alt5.sav

diff --git a/tests/sav/base_label_closure_alt5.sav b/tests/sav/base_label_closure_alt5.sav
deleted file mode 100644 (file)
index 9ca0188..0000000
--- a/tests/sav/base_label_closure_alt5.sav
+++ /dev/null
@@ -1,4 +0,0 @@
-1
-2
-3
-X6