From 3fcbc9905578f728797db9a60dde4fa741d28407 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 22 Jul 2020 16:23:35 +0200
Subject: [PATCH] [Kernel] fix typo in rarely-seen message
---
src/kernel_services/abstract_interp/offsetmap.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/abstract_interp/offsetmap.ml b/src/kernel_services/abstract_interp/offsetmap.ml
index 240471d7d59..e3c5c99c8db 100644
--- a/src/kernel_services/abstract_interp/offsetmap.ml
+++ b/src/kernel_services/abstract_interp/offsetmap.ml
@@ -306,7 +306,7 @@ module Make (V : module type of Offsetmap_lattice_with_isotropy) = struct
if hashed_node == tentative_new_node
then begin
if current_counter = max_int
- then Kernel.fatal "Offsetmap(%s): internal maximum exeeded" V.name;
+ then Kernel.fatal "Offsetmap(%s): internal maximum exceeded" V.name;
counter := Stdlib.succ current_counter;
end;
hashed_node
--
GitLab