Fix compilation of fake_ide

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

1 files changed, 4 insertions, 4 deletions

diff --git a/tools/fake_ide.ml b/tools/fake_ide.ml
index 8580bec01..d3b927a59 100644
--- a/tools/fake_ide.ml
+++ b/tools/fake_ide.ml
@@ -43,10 +43,10 @@ let commands =
     "INTERPSILENT", (fun s -> eval_call (Serialize.interp (false,false,s)));
     "INTERP", (fun s -> eval_call (Serialize.interp (false,true,s)));
     "REWIND", (fun s -> eval_call (Serialize.rewind (int_of_string s)));
-    "GOALS", (fun _ -> eval_call Serialize.goals);
-    "HINTS", (fun _ -> eval_call Serialize.hints);
-    "GETOPTIONS", (fun _ -> eval_call Serialize.get_options);
-    "STATUS", (fun _ -> eval_call Serialize.status);
+    "GOALS", (fun _ -> eval_call (Serialize.goals ()));
+    "HINTS", (fun _ -> eval_call (Serialize.hints ()));
+    "GETOPTIONS", (fun _ -> eval_call (Serialize.get_options ()));
+    "STATUS", (fun _ -> eval_call (Serialize.status ()));
     "INLOADPATH", (fun s -> eval_call (Serialize.inloadpath s));
     "MKCASES", (fun s -> eval_call (Serialize.mkcases s));
     "#", (fun _ -> raise Comment);