diff --git a/test.pl b/test.pl
deleted file mode 100644
index b07b4ba..0000000
--- a/test.pl
+++ /dev/null
@@ -1,2 +0,0 @@
-:- use_module(library(clpfd)).
-foo(N) :- (nonvar(N), number(N));(var(N), N in inf..sup).