From 7fa9ddfbcf5f4ca9d536c875ce6cd0a653222b30 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 3 Oct 2013 20:41:06 +0200 Subject: [PATCH] fixed obsolete comment --- persistentGraph.ml | 2 +- persistentGraph.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/persistentGraph.ml b/persistentGraph.ml index 0b8b99d0..8788a220 100644 --- a/persistentGraph.ml +++ b/persistentGraph.ml @@ -23,7 +23,7 @@ OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. *) -(** {1 A simple mutable directed graph.} *) +(** {1 A simple polymorphic directed graph.} *) type ('v, 'e) t = ('v, ('v, 'e) node) PHashtbl.t (** Graph parametrized by a type for vertices, and one for edges *) diff --git a/persistentGraph.mli b/persistentGraph.mli index 90cb0109..6ca542bb 100644 --- a/persistentGraph.mli +++ b/persistentGraph.mli @@ -23,7 +23,7 @@ OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. *) -(** {1 A simple persistent directed graph.} *) +(** {1 A simple polymorphic directed graph.} *) (** {2 Basics} *)