From 4d4edf9cc4bec63eb9569a5584f73256bd2d9917 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Fri, 19 Apr 2013 15:12:38 +0000
Subject: Fix compilation of fake_ide

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16439 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/fake_ide.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/tools/fake_ide.ml b/tools/fake_ide.ml
index 8580bec01f..d3b927a590 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);
-- 
cgit v1.2.3