From 43ac25fd5218fb92b3971c8df8be4f38894e27f3 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Wed, 22 Mar 2017 23:23:14 +0100
Subject: [nit] Fix a couple incorrect uses of msg_error.

---
 library/summary.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/summary.ml')

diff --git a/library/summary.ml b/library/summary.ml
index 2ec4760d6..d9f644100 100644
--- a/library/summary.ml
+++ b/library/summary.ml
@@ -108,7 +108,7 @@ let unfreeze_summaries fs =
     with e when CErrors.noncritical e ->
       let e = CErrors.push e in
       Feedback.msg_error
-        Pp.(seq [str "Error unfrezing summay %s\n%s\n%!";
+        Pp.(seq [str "Error unfreezing summary %s\n%s\n%!";
                  str (name_of_summary id);
                  CErrors.iprint e]);
       iraise e
-- 
cgit v1.2.3