diff options
| -rw-r--r-- | src/lem_interp/interp_inter_imp.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem index df17fffd..2ff0c1a8 100644 --- a/src/lem_interp/interp_inter_imp.lem +++ b/src/lem_interp/interp_inter_imp.lem @@ -408,7 +408,7 @@ let translate_address top_level end_flag thunk_name registers address = | Interp.V_tuple[Interp.V_ctor (Id_aux (Id "Some") _) _ _ (Interp.V_lit (L_aux (L_num n) _)); Interp.V_ctor (Id_aux (Id "None") _) _ _ _] -> (Nothing, Just n) - | _ -> (Nothing,Nothing) end) + | _ -> Assert_extra.failwith ("About to generate Nothing,Nothing for translate address. Given " ^ (Interp.string_of_value addr)) end) | (Nothing, Just err) -> match err with | Internal_error msg -> Assert_extra.failwith msg | _ -> Assert_extra.failwith "Not an internal error either" end |