spelling

rems-project · Jul 31, 2023 · 1417d70 · 1417d70
1 parent bbf6329
commit 1417d70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/memory/cheri-coq/impl_mem.ml b/memory/cheri-coq/impl_mem.ml
@@ -1188,7 +1188,7 @@ module CHERIMorello : Memory = struct
        begin match pv with
        | PVconcrete c ->
           let addr = C.cap_get_value c in
-          bind (lift_coq_memM ~quiet:true "find_overlapping" (MM.find_overlaping addr)) (fun x ->
+          bind (lift_coq_memM ~quiet:true "find_overlapping" (MM.find_overlapping addr)) (fun x ->
               let loc = Cerb_location.unknown in
               match x with
               | MM.NoAlloc -> fail ~loc (MerrAccess (LoadAccess, OutOfBoundPtr))