diff options
Diffstat (limited to 'ide/utils/editable_cells.ml')
-rw-r--r-- | ide/utils/editable_cells.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/utils/editable_cells.ml b/ide/utils/editable_cells.ml index e6d2f4d4..5441f4ab 100644 --- a/ide/utils/editable_cells.ml +++ b/ide/utils/editable_cells.ml @@ -85,7 +85,7 @@ let create l = | [] -> () | path::_ -> let iter = store#get_iter path in - GtkTree.TreePath.prev path; + ignore (GtkTree.TreePath.prev path); let upiter = store#get_iter path in ignore (store#swap iter upiter); )); |