More type-safe interface to Coq XML API.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15813 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 2 deletions

diff --git a/tools/fake_ide.ml b/tools/fake_ide.ml
index f13a8d4357..5fafe2991c 100644
--- a/tools/fake_ide.ml
+++ b/tools/fake_ide.ml
@@ -18,7 +18,7 @@ type coqtop = {
 
 let logger level content = ()
 
-let eval_call (call:'a Serialize.call) coqtop =
+let eval_call call coqtop =
   prerr_endline (Serialize.pr_call call);
   let xml_query = Serialize.of_call call in
   Xml_utils.print_xml coqtop.out_chan xml_query;
@@ -31,7 +31,7 @@ let eval_call (call:'a Serialize.call) coqtop =
       let content = message.Interface.message_content in
       let () = logger level content in
       loop ()
-    else (Serialize.to_answer xml : 'a Interface.value)
+    else (Serialize.to_answer xml call)
   in
   let res = loop () in
   prerr_endline (Serialize.pr_full_value call res);