1 files changed, 0 insertions, 19 deletions
diff --git a/sucl/complete.dcl b/sucl/complete.dcl
deleted file mode 100644
index 365deeb..0000000
--- a/sucl/complete.dcl
+++ /dev/null
@@ -1,19 +0,0 @@
-definition module complete
-
-// $Id$
-
-from graph import Graph
-from StdOverloaded import ==
-
-:: Pattern sym var
-   :== (Graph sym var,[var])
-
-coveredby
- :: ([sym]->Bool)
-    (Graph sym var)
-    ![Pattern sym pvar]
-    [var]
- -> Bool
- |  == sym
- &  == var
- &  == pvar