diff options
Diffstat (limited to 'cfrontend/PrintClight.ml')
| -rw-r--r-- | cfrontend/PrintClight.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cfrontend/PrintClight.ml b/cfrontend/PrintClight.ml index f1c3ef18..ed19e178 100644 --- a/cfrontend/PrintClight.ml +++ b/cfrontend/PrintClight.ml @@ -67,7 +67,7 @@ let rec expr p (prec, e) = if assoc = LtoR then (prec', prec' + 1) else (prec' + 1, prec') in - if prec' < prec + if prec' < prec then fprintf p "@[<hov 2>(" else fprintf p "@[<hov 2>"; begin match e with |