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/ide/coq.ml b/ide/coq.ml
index cdc325651..8607241b4 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -351,7 +351,7 @@ let try_grab coqtop f g =
 
 (** Cf [Ide_intf] for more details *)
 
-let eval_call coqtop logger (c:'a Serialize.call) =
+let eval_call coqtop logger c =
   (** Retrieve the messages sent by coqtop until an answer has been received *)
   let rec loop () =
     let xml = Xml_parser.parse coqtop.xml_parser in
@@ -361,7 +361,7 @@ let eval_call coqtop logger (c:'a Serialize.call) =
       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 c)
   in
   try
     Xml_utils.print_xml coqtop.cin (Serialize.of_call c);