-

[clean-tests.git] / eadt / export / B.icl

diff --git a/eadt/export/B.icl b/eadt/export/B.icl
deleted file mode 100644 (file)
index 4884d2a..0000000
--- a/eadt/export/B.icl
+++ /dev/null
@@ -1,12 +0,0 @@
-implementation module B
-
-import main
-
-:: T | E
-
-B :: T
-B = E
-
-isB :: T -> Bool
-isB E = True
-isB _ = False