[m-rev.] trivial diff: delete obsolete library predicate

[Julien Fischer]

Branches: main

library/set_bbbtree.m:
 	Delete the size/2 predicate which was made obsolete
 	in version 11.01.

Julien.

Index: library/set_bbbtree.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/set_bbbtree.m,v
retrieving revision 1.35
diff -u -r1.35 set_bbbtree.m
--- library/set_bbbtree.m	30 Nov 2010 02:41:53 -0000	1.35
+++ library/set_bbbtree.m	6 May 2011 05:07:29 -0000
@@ -36,13 +36,6 @@

  :- pred set_bbbtree.non_empty(set_bbbtree(T)::in) is semidet.

-    % `set_bbbtree.size(Set, Size)' is true iff `Size' is the cardinality
-    % of `Set'.
-    % This predicate is obsolete; use set_bbbtree.count/2 instead.
-    %
-:- pragma obsolete(set_bbbtree.size/2).
-:- pred set_bbbtree.size(set_bbbtree(T)::in, int::out) is det.
-
      % `set_bbbtree.count(Set, Count)' is true iff `Set' has `Count' elements.
      % i.e. `Count' is the cardinality (size) of the set.
      %
@@ -455,9 +448,6 @@

  %------------------------------------------------------------------------------%

-set_bbbtree.size(empty, 0).
-set_bbbtree.size(tree(_V, N, _L, _R), N).
-
  set_bbbtree.count(Set) = Count :-
      set_bbbtree.count(Set, Count).


--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------