diff options
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index b07b16c3..4ea9ea63 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -834,7 +834,7 @@ let doc_exp, doc_let = and star_exp ((E_aux(e,_)) as expr) = match e with | E_app_infix(l,(Id_aux(Id ( "*" | "/" - | "div" | "quot" | "rem" | "mod" + | "div" | "quot" | "quot_s" | "rem" | "mod" | "*_s" | "*_si" | "*_u" | "*_ui"),_) as op),r) -> doc_op (doc_id op) (star_exp l) (starstar_exp r) | _ -> starstar_exp expr @@ -958,7 +958,7 @@ let doc_exp, doc_let = | ">>" | ">>>" | "<<" | "<<<" | "+" | "-" | "+_s" | "-_s" | "*" | "/" - | "div" | "quot" | "rem" | "mod" + | "div" | "quot" | "quot_s" | "rem" | "mod" | "*_s" | "*_si" | "*_u" | "*_ui" | "**"), _)) , _) -> |