diff options
| author | Christopher Pulte | 2017-03-24 11:50:02 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2017-03-24 11:50:02 +0000 |
| commit | 4f31d4d7f0e1c5d77d65fee14f4fb8e149201e73 (patch) | |
| tree | 0d1c4224bee76a846410e5d1068d04894a9d709f /src/gen_lib | |
| parent | 68f22b52e40a8e6ea8b99d514faf3310547e63e6 (diff) | |
Print tracking information for V_track, hopefully fix extern_vector_value, fix sail_values bug.
Diffstat (limited to 'src/gen_lib')
| -rw-r--r-- | src/gen_lib/sail_values.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem index e0d60dee..4fded5a1 100644 --- a/src/gen_lib/sail_values.lem +++ b/src/gen_lib/sail_values.lem @@ -776,7 +776,7 @@ let rec register_field_indices_aux register rfield = | RegisterPair r1 r2 -> let m_indices = register_field_indices_aux r1 rfield in if isJust m_indices then m_indices else register_field_indices_aux r2 rfield - | UndefinedRegister -> Nothing + | UndefinedRegister _ -> Nothing end val register_field_indices : register -> register_field -> integer * integer |