From 1bb77b31f84946f036c0b7e37245809bbdb82def Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Thu, 18 Jul 2019 10:13:10 +0100
Subject: Support DMB/DSB domains

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

(limited to 'src/pretty_print_lem.ml')

diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml
index 4890b8d1..2d8b282e 100644
--- a/src/pretty_print_lem.ml
+++ b/src/pretty_print_lem.ml
@@ -1129,6 +1129,8 @@ let doc_typdef_lem env (TD_aux(td, (l, annot))) = match td with
      (match id with
       | Id_aux ((Id "read_kind"),_) -> empty
       | Id_aux ((Id "write_kind"),_) -> empty
+      | Id_aux ((Id "a64_barrier_domain"),_) -> empty
+      | Id_aux ((Id "a64_barrier_type"),_) -> empty
       | Id_aux ((Id "barrier_kind"),_) -> empty
       | Id_aux ((Id "trans_kind"),_) -> empty
       | Id_aux ((Id "instruction_kind"),_) -> empty
@@ -1201,6 +1203,8 @@ let doc_typdef_lem env (TD_aux(td, (l, annot))) = match td with
      (match id with
       | Id_aux ((Id "read_kind"),_) -> empty
       | Id_aux ((Id "write_kind"),_) -> empty
+      | Id_aux ((Id "a64_barrier_domain"),_) -> empty
+      | Id_aux ((Id "a64_barrier_type"),_) -> empty
       | Id_aux ((Id "barrier_kind"),_) -> empty
       | Id_aux ((Id "trans_kind"),_) -> empty
       | Id_aux ((Id "instruction_kind"),_) -> empty
-- 
cgit v1.2.3