From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 3 Mar 2010 10:25:25 +0000 Subject: Getting rid of CIL git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/api/type_Pretty.MakeSetPrinter.html | 40 ----------------------------- 1 file changed, 40 deletions(-) delete mode 100644 cil/doc/api/type_Pretty.MakeSetPrinter.html (limited to 'cil/doc/api/type_Pretty.MakeSetPrinter.html') diff --git a/cil/doc/api/type_Pretty.MakeSetPrinter.html b/cil/doc/api/type_Pretty.MakeSetPrinter.html deleted file mode 100644 index c5e04661..00000000 --- a/cil/doc/api/type_Pretty.MakeSetPrinter.html +++ /dev/null @@ -1,40 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Pretty.MakeSetPrinter - - -functor
-  (Set : sig
-           type elt
-           type t
-           val fold :
-             (Pretty.MakeSetPrinter.elt -> 'a -> 'a) ->
-             Pretty.MakeSetPrinter.t -> 'a -> 'a
-         end) ->
-  sig
-    val docSet :
-      ?sep:Pretty.doc ->
-      (Set.elt -> Pretty.doc) -> unit -> Set.t -> Pretty.doc
-    val d_set :
-      string ->
-      (unit -> Set.elt -> Pretty.doc) -> unit -> Set.t -> Pretty.doc
-  end \ No newline at end of file -- cgit