From 2965635533740a4a0fb13a6f0390d56b4321b981 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 7 Dec 2012 16:39:47 +0000
Subject: Coqide: missing arg when calling process_next_phrase

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

diff --git a/ide/coqide.ml b/ide/coqide.ml
index af60b335ba..de04e0891c 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1439,7 +1439,7 @@ let do_or_activate f =
   do_if_not_computing p "do_or_activate"
     (fun handle ->
       let av = p.analyzed_view in
-      ignore (f handle av);
+      f handle av;
       pop_info ();
       let msg = match Coq.status handle with
         | Interface.Fail (l, str) ->
@@ -1463,7 +1463,7 @@ let do_if_active f =
     (fun handle -> ignore (f handle p.analyzed_view))
 
 module Nav = struct
-  let forward_one _ = do_or_activate (fun h a -> a#process_next_phrase h)
+  let forward_one _ = do_or_activate (fun h a -> a#process_next_phrase h true)
   let backward_one _ = do_or_activate (fun h a -> a#backtrack_last_phrase h)
   let goto _ = do_or_activate (fun h a -> a#go_to_insert h)
   let restart _ = force_reset_initial ()
-- 
cgit v1.2.3