diff options
| -rw-r--r-- | toplevel/vernacentries.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml index c911633e82..d30968df64 100644 --- a/toplevel/vernacentries.ml +++ b/toplevel/vernacentries.ml @@ -677,7 +677,7 @@ let _ = { optsync = true; optname = "symbols printing"; optkey = (SecondaryTable ("Printing","Symbols")); - optread = (fun () -> !Constrextern.print_no_symbol); + optread = (fun () -> not !Constrextern.print_no_symbol); optwrite = (fun b -> Constrextern.print_no_symbol := not b) } let _ = |