From 5d3c6b295ca18efd8ca8c9e52245766f2c2c7394 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 15 Aug 2018 18:53:06 +0100
Subject: Temporary fix for RISC-V Lem generation

---
 src/pretty_print_lem.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml
index d300f699..7c1b42ad 100644
--- a/src/pretty_print_lem.ml
+++ b/src/pretty_print_lem.ml
@@ -767,7 +767,8 @@ let doc_exp_lem, doc_let_lem =
                let t = Env.expand_synonyms env (typ_of full_exp) in
                let eff = effect_of full_exp in
                if typ_needs_printed t then
-                 if Id.compare f (mk_id "bitvector_cast_out") <> 0
+                 if Id.compare f (mk_id "bitvector_cast_out") <> 0 &&
+                    Id.compare f (mk_id "zero_extend_type_hack") <> 0
                  then (align (group (prefix 0 1 epp (doc_tannot_lem ctxt env (effectful eff) t))), true)
                  (* TODO: coordinate with the code in monomorphise.ml to find the correct
                     typing environment to use *)
-- 
cgit v1.2.3