X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=dmesg%2Fvirt_dmesg.ml;h=8800fd2d9dbe9bd9f72b245375f7e2c7c35fd3dc;hb=master;hp=153d5e4460d48706169b0d8800fd72b0063f1e3a;hpb=cf4669f31197abcfb14dee874a4b738c9c2e6483;p=virt-mem.git

diff --git a/dmesg/virt_dmesg.ml b/dmesg/virt_dmesg.ml
index 153d5e4..8800fd2 100644
--- a/dmesg/virt_dmesg.ml
+++ b/dmesg/virt_dmesg.ml
@@ -24,8 +24,7 @@ open Virt_mem_utils
 open Virt_mem_types
 open Virt_mem_mmap
 
-let run debug { domname = domname; mem = mem } { ksyms = ksyms } =
-  let ksyms = Option.get ksyms in
+let run debug { domname = domname; mem = mem; ksyms = ksyms } =
   try
     (* I don't know why but this symbol doesn't exist in 2.6.9
      * even in kallsyms.  Hence this won't work with that kernel.