From d229327f6e4214604e39b1ae6292cd0146a6093f Mon Sep 17 00:00:00 2001
From: Jon French
Date: Fri, 18 May 2018 13:48:43 +0100
Subject: temporary HACK for aarch64: make rewrite_defs_pat_lits ignore strings

---
 src/rewrites.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/rewrites.ml b/src/rewrites.ml
index 6772d78c..2e59436c 100644
--- a/src/rewrites.ml
+++ b/src/rewrites.ml
@@ -3238,6 +3238,8 @@ let rewrite_defs_pat_lits =
     let counter = ref 0 in
 
     let rewrite_pat = function
+      (* HACK: ignore strings for now *)
+      | P_lit (L_aux (L_string _, _)) as p_aux, p_annot -> P_aux (p_aux, p_annot)
       | P_lit lit, p_annot ->
          let env = env_of_annot p_annot in
          let typ = typ_of_annot p_annot in
-- 
cgit v1.2.3