tests: cleanup sav directory

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

diff --git a/tests/sav/base_super_linext.sav b/tests/sav/base_super_linext.sav
deleted file mode 100644 (file)
index c50fdf1..0000000
--- a/tests/sav/base_super_linext.sav
+++ /dev/null
@@ -1,8 +0,0 @@
-A
-A
-B[A]
-AB
-C[A]
-AC
-D[B[C[A]]]
-ACBD