diff options
| author | Jon French | 2018-05-18 13:48:43 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-18 13:48:43 +0100 |
| commit | d229327f6e4214604e39b1ae6292cd0146a6093f (patch) | |
| tree | c5a27ffd25b34764ec8275f3c09a1ed83c64eb5e /src | |
| parent | 60c205b66a2b884e12c6b766a4c18320e89394b9 (diff) | |
temporary HACK for aarch64: make rewrite_defs_pat_lits ignore strings
Diffstat (limited to 'src')
| -rw-r--r-- | src/rewrites.ml | 2 |
1 files changed, 2 insertions, 0 deletions
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 |