diff options
Diffstat (limited to 'ide/coq_commands.ml')
-rw-r--r-- | ide/coq_commands.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/coq_commands.ml b/ide/coq_commands.ml index a7309b668..1971fb4f0 100644 --- a/ide/coq_commands.ml +++ b/ide/coq_commands.ml @@ -173,6 +173,7 @@ let state_preserving = [ "Print Module Type"; "Print Modules"; "Print Proof"; + "Print Setoids"; "Print Scope"; "Print Scopes."; "Print Section"; |