X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=extract%2Fcodegen%2Fcompile_kerneldb.ml;h=a3ff911f068eb77db6b9cd82f84f1f812f91cbea;hb=23d37ef6cec5003b63797343cf7f3bb75e915809;hp=f5fc099a1b47338eaca8d840182da7ebf6adfa99;hpb=62b4fb5d778b12af1ed90c4f7934a34e10e1ba9d;p=virt-mem.git

diff --git a/extract/codegen/compile_kerneldb.ml b/extract/codegen/compile_kerneldb.ml
index f5fc099..a3ff911 100644
--- a/extract/codegen/compile_kerneldb.ml
+++ b/extract/codegen/compile_kerneldb.ml
@@ -92,7 +92,7 @@ let good_structs = [
   };
 ]
 
-let debug = true
+let debug = false
 
 open Camlp4.PreCast
 open Syntax