X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=eadt%2Fexport%2FB.dcl;fp=eadt%2Fexport%2FB.dcl;h=0000000000000000000000000000000000000000;hb=4b62b5d397d86147e393c05b3083af74a3a0c4af;hp=54f201a74eb0f8286aa779c7ab4df6508112fcdb;hpb=e5305ee9d4290e1aa803a2e62a14f32e5cd29782;p=clean-tests.git

diff --git a/eadt/export/B.dcl b/eadt/export/B.dcl
deleted file mode 100644
index 54f201a..0000000
--- a/eadt/export/B.dcl
+++ /dev/null
@@ -1,6 +0,0 @@
-definition module B
-
-import main
-
-B :: T
-isB :: T -> Bool