From 8ee720fef8e21595827d18e1e28777c1d061a9e5 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 12 Mar 2014 19:27:21 +0100
Subject: fake_ide: fix compilation

---
 tools/fake_ide.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/fake_ide.ml b/tools/fake_ide.ml
index 6567c2fe21..068dfb2ee0 100644
--- a/tools/fake_ide.ml
+++ b/tools/fake_ide.ml
@@ -311,7 +311,7 @@ let main =
     Xml_parser.check_eof ip false;
     { xml_printer = op; xml_parser = ip } in
   let init () =
-    match base_eval_call ~print:false (Serialize.init ()) coq with
+    match base_eval_call ~print:false (Serialize.init None) coq with
     | Interface.Good id ->
         let dir = Filename.dirname input_file in
         let phrase = Printf.sprintf "Add LoadPath \"%s\". " dir in
-- 
cgit v1.2.3