From 669a37ecffb9422e4b376a7467355b36ad6d5270 Mon Sep 17 00:00:00 2001
From: Markus Mottl <markus.mottl@gmail.com>
Date: Thu, 18 Aug 2016 11:53:10 -0400
Subject: [PATCH] More comment fixes

---
 lib/store_intf.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/store_intf.ml b/lib/store_intf.ml
index af712c5..07ed1ce 100644
--- a/lib/store_intf.ml
+++ b/lib/store_intf.ml
@@ -23,9 +23,11 @@
 (** Specification of indices used to index elements in stores *)
 module type INDEX = sig
   type t (** Type of indices *)
+
   type gen (** Type of index generators *)
 
   module Set : Set.S with type elt = t (** Efficient sets of indices *)
+
   module Map : Map.S with type key = t (** Efficient maps of indices *)
 
   val start : gen