diff options
| author | Christopher Pulte | 2017-09-15 11:50:54 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2017-09-15 11:50:54 +0100 |
| commit | a97cd6081df6a76c9daa34c773d82f21f5d014c8 (patch) | |
| tree | db87775aae85c734594728534de49dbfeac9e5e1 /src/lem_interp | |
| parent | 8c143d2aaebaa210e4d4778a0bcfd5326908bdf8 (diff) | |
reinstate deep/shallow conversion
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/sail_impl_base.lem | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lem_interp/sail_impl_base.lem b/src/lem_interp/sail_impl_base.lem index 48ddd10e..e6169762 100644 --- a/src/lem_interp/sail_impl_base.lem +++ b/src/lem_interp/sail_impl_base.lem @@ -428,6 +428,8 @@ end (* Data structures for building up instructions *) +(* careful: changes in the read/write/barrier kinds have to be + reflected in deep_shallow_convert *) type read_kind = (* common reads *) | Read_plain |