-

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

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