From eed3eded825c9081659ef4c6ef0c70a9e636fb6e Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 6 Aug 2010 22:48:54 +0100
Subject: [PATCH] remove some old SWI code (unused).

---
 library/coinduction.yap | 23 ++---------------------
 1 file changed, 2 insertions(+), 21 deletions(-)

diff --git a/library/coinduction.yap b/library/coinduction.yap
index 6c6d4c1a4..4b259417d 100644
--- a/library/coinduction.yap
+++ b/library/coinduction.yap
@@ -49,7 +49,7 @@ notably on infinite trees (cyclic terms).
     i(s(N)) :- i(N).
 
     ?- X=[s(s(A))|X], stream(X).
-     X=[s(s(A))|X], stream(X).
+     X= [s(s(A))|X], stream(X).
      A = 0,
      X = [s(s(0)),**]
     ==
@@ -67,32 +67,13 @@ regardless of the cycle-length.
         by Luke Somin et al.
 */
 
-:- meta_predicate coinductive(0).
+:- meta_predicate coinductive(:).
 
 :- dynamic coinductive/3.
 
 
 %-----------------------------------------------------
 
-expand_coinductive_declaration(Spec, Clauses) :-
-        prolog_load_context(module, Module),
-        phrase(expand_specs(Spec, Module), Clauses).
-
-expand_specs(Var, _) -->
-        { var(Var), !,
-          instantiation_error(Var)
-        }.
-expand_specs(M:Spec, _) --> !,
-        expand_specs(Spec, M).
-expand_specs((A,B), Module) --> !,
-        expand_specs(A, Module),
-        expand_specs(B, Module).
-expand_specs(Head, Module) -->
-        { valid_pi(Head, Name, Arity),
-          functor(GenHead, Name, Arity)
-        },
-        [ coinduction:coinductive_declaration(GenHead, Module) ].
-
 coinductive(Spec) :-
 	var(Spec),
 	!,