diff options
| author | herbelin | 2002-12-04 22:56:02 +0000 |
|---|---|---|
| committer | herbelin | 2002-12-04 22:56:02 +0000 |
| commit | e5d0063062d5b0e34e38ddf2f560c35e8255548b (patch) | |
| tree | 720f1680f9a7e368bd271cfeb1a57d98d0f07855 | |
| parent | f6c7ba13084782457d1a41c1e8d573479b105fa0 (diff) | |
Correction divers bugs d'affichage; explicitation du niveau de grammaire quand mentionn explicitement par l'utilisateur
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3378 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 _ = |