From 9d767fe280e78765058baeca7fe899d4418f8d83 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 4 Feb 2016 17:17:32 +0000
Subject: fix pretty printing of new mod_s

---
 src/lem_interp/pretty_interp.ml | 4 ++--
 1 file 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"
     | "**"), _))
     , _) ->
-- 
cgit v1.2.3