diff options
| author | Brian Campbell | 2018-07-13 10:15:30 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-13 10:15:30 +0100 |
| commit | 82784b669df18e33c48449020f29f36980d12bf3 (patch) | |
| tree | e8c9d854b3edd3d34c64e745705e9cce4dc877a1 /src/rewrites.ml | |
| parent | 6586abcc185fa4e0f3853a73d91f097fbde16aca (diff) | |
| parent | 3c4a27d7041d71fb229970dacab013cf84669755 (diff) | |
Merge branch 'sail2' of github.com:rems-project/sail into sail2
Diffstat (limited to 'src/rewrites.ml')
| -rw-r--r-- | src/rewrites.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rewrites.ml b/src/rewrites.ml index fad1f4d2..8fe30d6b 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -2304,6 +2304,7 @@ let rewrite_type_def_typs rw_typ rw_typquant rw_typschm (TD_aux (td, annot)) = let rewrite_dec_spec_typs rw_typ (DEC_aux (ds, annot)) = match ds with | DEC_reg (typ, id) -> DEC_aux (DEC_reg (rw_typ typ, id), annot) + | DEC_config (id, typ, exp) -> DEC_aux (DEC_config (id, rw_typ typ, exp), annot) | _ -> assert false (* Remove overload definitions and cast val specs from the |