diff options
Diffstat (limited to 'translate/ppconstrnew.ml')
| -rw-r--r-- | translate/ppconstrnew.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/translate/ppconstrnew.ml b/translate/ppconstrnew.ml index f708f12d1d..33d6ce7861 100644 --- a/translate/ppconstrnew.ml +++ b/translate/ppconstrnew.ml @@ -40,8 +40,8 @@ let lfix = 200 let larrow = 90 let lcast = 100 let lapp = 10 -let lposint = 1 (* above the argument of notation "- x" *) -let lnegint = lapp (* above application *) +let lposint = 0 +let lnegint = 35 (* must be consistent with Notation "- x" *) let ltop = (200,E) let lproj = 1 let lsimple = (1,E) |