fixed obsolete comment

This commit is contained in:
Simon Cruanes 2013-10-03 20:41:06 +02:00
parent 5405db1e52
commit 7fa9ddfbcf
2 changed files with 2 additions and 2 deletions

View file

@ -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 *)

View file

@ -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} *)