diff options
| author | Christopher Pulte | 2016-11-05 16:09:12 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2016-11-05 16:09:12 +0000 |
| commit | f1f618d888407c2e6fa8b0498b2554585772fb09 (patch) | |
| tree | 1d19e00f0536e767c97d6ed80ef0972de538dfc6 /src/lem_interp/interp_interface.lem | |
| parent | b1970df86db7589a1415e5b76397119a255e2dde (diff) | |
fixes
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index a648b437..ea3ba154 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -203,3 +203,4 @@ val instruction_analysis : val initial_outcome_s_of_instruction : context -> interp_mode -> instruction -> Sail_impl_base.outcome_s instruction_state unit + |