From 02fa50e64f79309f5a3da78737070dd9f8b3dce2 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Mon, 13 May 2019 15:56:44 +0100
Subject: don't emit cache_op_kind enum in Lem

---
 src/pretty_print_lem.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml
index 10441ed5..f13b8e1b 100644
--- a/src/pretty_print_lem.ml
+++ b/src/pretty_print_lem.ml
@@ -1193,6 +1193,7 @@ let doc_typdef_lem env (TD_aux(td, (l, annot))) = match td with
       | Id_aux ((Id "barrier_kind"),_) -> empty
       | Id_aux ((Id "trans_kind"),_) -> empty
       | Id_aux ((Id "instruction_kind"),_) -> empty
+      | Id_aux ((Id "cache_op_kind"),_) -> empty
       | Id_aux ((Id "regfp"),_) -> empty
       | Id_aux ((Id "niafp"),_) -> empty
       | Id_aux ((Id "diafp"),_) -> empty
-- 
cgit v1.2.3