From 6eace337bc6f55420d739298f0824d8294cca709 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Mon, 5 Mar 2018 18:06:41 +0000 Subject: [PATCH] typo --- src/lib.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib.ml b/src/lib.ml index 4bff0c03..f4f20897 100644 --- a/src/lib.ml +++ b/src/lib.ml @@ -1029,7 +1029,7 @@ let report_lib_error ppf (e : Error.t) = Error.Library_not_available.Reason.pp reason | Conflict { lib1 = (lib1, rb1); lib2 = (lib2, rb2) } -> Format.fprintf ppf - "@[@{Error@}: Conflict between the following libaries:@,\ + "@[@{Error@}: Conflict between the following libraries:@,\ - %S in %s@,\ \ %a@,\ - %S in %s@,\