Fix regression in chunk.ml

ocaml · Feb 20, 2013 · 9279f0b · 9279f0b
1 parent 834aefc
commit 9279f0b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/chunk.ml b/chunk.ml
@@ -70,7 +70,8 @@ let sync_step outline tokens t =
         let rec rewind_defs defs t =
           match History.backward t with
           | Some ((_,(_,Some (Definitions []))), _) -> assert false
-          | Some ((_,(_,Some (Definitions (d::_)))), t') -> rewind_defs (d.Location.txt :: defs) t'
+          | Some ((_,(_,Some (Definitions lst))), t') -> 
+              rewind_defs (List.map (fun d -> d.Location.txt) lst @ defs) t'
           | Some ((_,(_,Some (Module_closing (d,offset)))), t') ->
               rewind_defs (d.Location.txt :: defs) (History.seek_offset offset t')
           | Some ((_,(_,Some (Module_opening (loc,s,m)))), t') -> loc,s,m,defs,t'