X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fvirt_mem.ml;h=d1c4d2bbd30fdf4a334d414b97f1a1aa6a654a21;hb=c4e61cb8704aef23207d6186ab1e00f3d77ac5d7;hp=fcefa3cc4bc8492df585f19417441e21d0525cd1;hpb=8eb1c2c4f71819108ceea4731f4dad75775ce6ae;p=virt-mem.git

diff --git a/lib/virt_mem.ml b/lib/virt_mem.ml
index fcefa3c..d1c4d2b 100644
--- a/lib/virt_mem.ml
+++ b/lib/virt_mem.ml
@@ -46,13 +46,13 @@ type image =
     int option
     * string
     * Virt_mem_utils.architecture
-    * ([`Wordsize], [`Endian]) Virt_mem_mmap.t
+    * ([`Wordsize], [`Endian], [`HasMapping]) Virt_mem_mmap.t
 
 type image_with_ksyms =
     int option
     * string
     * Virt_mem_utils.architecture
-    * ([`Wordsize], [`Endian]) Virt_mem_mmap.t
+    * ([`Wordsize], [`Endian], [`HasMapping]) Virt_mem_mmap.t
     * (ksym -> MMap.addr)
 
 type kallsyms_compr =