From 467eb67bb960c15e1335f375af29b4121ac5262b Mon Sep 17 00:00:00 2001
From: JPR
Date: Wed, 22 May 2019 21:40:57 +0200
Subject: Fixing typos - Part 2

---
 plugins/micromega/persistent_cache.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/micromega/persistent_cache.ml')

diff --git a/plugins/micromega/persistent_cache.ml b/plugins/micromega/persistent_cache.ml
index 0209030b64..f038f8a71a 100644
--- a/plugins/micromega/persistent_cache.ml
+++ b/plugins/micromega/persistent_cache.ml
@@ -21,7 +21,7 @@ module type PHashtable =
 
     val open_in : string -> 'a t
     (** [open_in f] rebuilds a table from the records stored in file [f].
-	As marshaling is not type-safe, it migth segault.
+        As marshaling is not type-safe, it might segfault.
     *)
 
     val find : 'a t -> key -> 'a
-- 
cgit v1.2.3