diff options
Diffstat (limited to 'ide/wg_ProofView.ml')
-rw-r--r-- | ide/wg_ProofView.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/wg_ProofView.ml b/ide/wg_ProofView.ml index af9dcba3a..5da0eeceb 100644 --- a/ide/wg_ProofView.ml +++ b/ide/wg_ProofView.ml @@ -100,7 +100,7 @@ let mode_tactic sel_cb (proof:GText.view) goals hints = match goals with proof#buffer#insert (goal_str i goals_cnt); proof#buffer#insert (g ^ "\n") in - let () = Util.list_fold_left_i fold_goal 2 () rem_goals in + let () = Util.List.fold_left_i fold_goal 2 () rem_goals in ignore(proof#buffer#place_cursor ~where:(proof#buffer#end_iter#backward_to_tag_toggle |