diff --git a/test/good/t20.ept b/test/good/t20.ept
deleted file mode 100644
index 7e44d6e..0000000
--- a/test/good/t20.ept
+++ /dev/null
@@ -1,9 +0,0 @@
-fun test(x, y : bool) returns (o : bool)
-let
-  o = x xor y;
-tel
-
-node main() returns (ok : bool)
-let
-  ok = test(true, true) = test(true, false) = test(false, true);
-tel