tests: cleanup sav directory

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

diff --git a/tests/sav/example_point.sav b/tests/sav/example_point.sav
deleted file mode 100644 (file)
index 33a1888..0000000
--- a/tests/sav/example_point.sav
+++ /dev/null
@@ -1,4 +0,0 @@
-(0:0)
-(5:8)
-false
-true