diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/ide_slave.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/ide_slave.ml b/toplevel/ide_slave.ml index 72ebecfa70..ee231b0445 100644 --- a/toplevel/ide_slave.ml +++ b/toplevel/ide_slave.ml @@ -148,7 +148,7 @@ let rec attribute_of_vernac_command = function (* Proof management *) | VernacGoal _ -> [GoalStartingCommand] - | VernacAbort _ -> [NavigationCommand] + | VernacAbort _ -> [] | VernacAbortAll -> [NavigationCommand] | VernacRestart -> [NavigationCommand] | VernacSuspend -> [NavigationCommand] |