From 7bded288b7727625ee353af5a142ecba15d57240 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Thu, 24 Oct 2013 15:41:37 +0000
Subject: CoqIDE: fix coloring bug when jumping back to the first phrase

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

(limited to 'ide/document.ml')

diff --git a/ide/document.ml b/ide/document.ml
index fab318f18f..deb780739b 100644
--- a/ide/document.ml
+++ b/ide/document.ml
@@ -123,11 +123,11 @@ let assign_tip_id d id =
 
 let cut_at d id =
   let aux (n, zone) { state_id; data } =
-    if stateid_opt_equal state_id (Some id) then CSig.Stop (n, List.rev zone)
+    if stateid_opt_equal state_id (Some id) then CSig.Stop (n, zone)
     else CSig.Cont (n + 1, data :: zone) in
   let n, zone = CList.fold_left_until aux (0, []) d.stack in
   for i = 1 to n do ignore(pop d) done;
-  zone
+  List.rev zone
 
 let find_id d f =
   let top, focus, bot = to_lists d in
-- 
cgit v1.2.3