diff options
| author | Robert Norton | 2016-02-04 17:17:32 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-02-04 17:17:32 +0000 |
| commit | 9d767fe280e78765058baeca7fe899d4418f8d83 (patch) | |
| tree | 8725ad846825940962a87d4d3e251b6f492abc5a /src | |
| parent | bc663454a3273fe1fb9c150caf7e3849c3fbd2ea (diff) | |
fix pretty printing of new mod_s
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/pretty_interp.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/pretty_interp.ml b/src/lem_interp/pretty_interp.ml index 3703940a..a9a44dfe 100644 --- a/src/lem_interp/pretty_interp.ml +++ b/src/lem_interp/pretty_interp.ml @@ -285,7 +285,7 @@ let doc_exp, doc_let = and star_exp env add_red ((E_aux(e,_)) as expr) = match e with | E_app_infix(l,(Id_aux(Id ( "*" | "/" - | "div" | "quot" | "rem" | "mod" | "quot_s" + | "div" | "quot" | "rem" | "mod" | "quot_s" | "mod_s" | "*_s" | "*_si" | "*_u" | "*_ui"),_) as op),r) -> doc_op (doc_id op) (star_exp env add_red l) (starstar_exp env add_red r) | _ -> starstar_exp env add_red expr @@ -410,7 +410,7 @@ let doc_exp, doc_let = | ">>" | ">>>" | "<<" | "<<<" | "+" | "+_s" | "-" | "-_s" | "*" | "/" - | "div" | "quot" | "quot_s" | "rem" | "mod" + | "div" | "quot" | "quot_s" | "rem" | "mod" | "mod_s" | "*_s" | "*_si" | "*_u" | "*_ui" | "**"), _)) , _) -> |