diff --git a/src/kernel_services/abstract_interp/offsetmap.ml b/src/kernel_services/abstract_interp/offsetmap.ml
index 240471d7d595d58f195b50b0802bb461d239aa6b..e3c5c99c8db5ef823e98341d23bceef3eec40262 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