tests: cleanup sav directory

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

diff --git a/tests/sav/base_var_untyped.sav b/tests/sav/base_var_untyped.sav
deleted file mode 100644 (file)
index ed4f859..0000000
--- a/tests/sav/base_var_untyped.sav
+++ /dev/null
@@ -1,5 +0,0 @@
-10
-20
-true
-30
-40