From 239e23211f75f6de0bdf26605b7e02f12ec503fa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Tue, 30 Oct 2018 18:02:57 +0100
Subject: [PATCH] Remove test t20.ept

---
 test/good/t20.ept | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 test/good/t20.ept

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