diff options
Diffstat (limited to 'ide/coqide_ui.ml')
| -rw-r--r-- | ide/coqide_ui.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/coqide_ui.ml b/ide/coqide_ui.ml index 6b9517a84..fd5bc6c49 100644 --- a/ide/coqide_ui.ml +++ b/ide/coqide_ui.ml @@ -153,6 +153,7 @@ let init () = <toolitem action='Go to' /> <toolitem action='Start' /> <toolitem action='End' /> + <toolitem action='Force' /> <toolitem action='Interrupt' /> <toolitem action='Previous' /> <toolitem action='Next' /> |