From 5c995f9bf8408662c23079e19d1b285ef814e8d9 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 25 Nov 2011 18:12:41 +0000
Subject: Added an API call to retrieve and change the option state

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

(limited to 'tools')

diff --git a/tools/fake_ide.ml b/tools/fake_ide.ml
index e06ebb78e8..f2255981a7 100644
--- a/tools/fake_ide.ml
+++ b/tools/fake_ide.ml
@@ -32,6 +32,8 @@ let commands =
     "INTERP", (fun s -> eval_call (Ide_intf.interp (false,true,s)));
     "REWIND", (fun s -> eval_call (Ide_intf.rewind (int_of_string s)));
     "GOALS", (fun _ -> eval_call Ide_intf.goals);
+    "HINTS", (fun _ -> eval_call Ide_intf.hints);
+    "GETOPTIONS", (fun _ -> eval_call Ide_intf.get_options);
     "STATUS", (fun _ -> eval_call Ide_intf.status);
     "INLOADPATH", (fun s -> eval_call (Ide_intf.inloadpath s));
     "MKCASES", (fun s -> eval_call (Ide_intf.mkcases s));
-- 
cgit v1.2.3