diff options
| author | Kathy Gray | 2014-11-22 19:14:15 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-22 19:14:15 +0000 |
| commit | db05a90e7880e5766cbe808b1aa8811276fd9a51 (patch) | |
| tree | 5d5df4343330e361c5bc120da23ed1762dd2c9b6 /src/pretty_print.ml | |
| parent | 434912f193ae08ad375d04ce5aa3df4bd369c690 (diff) | |
signed multiplication and quot
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" | "**"), _)) , _) -> |