X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fvirt_mem.ml;h=d1c4d2bbd30fdf4a334d414b97f1a1aa6a654a21;hb=f515867f07955345c801e13e6667485667cfc199;hp=fcefa3cc4bc8492df585f19417441e21d0525cd1;hpb=7cb0d37dafdefce84af1230444e6b8ce911d590e;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 =