Make progress on generated merged fwd/back functions

1 files changed, 3 insertions, 1 deletions

diff --git a/compiler/Translate.ml b/compiler/Translate.ml
index 54e24066..06d4bd6d 100644
--- a/compiler/Translate.ml
+++ b/compiler/Translate.ml
@@ -223,7 +223,9 @@ let translate_function_to_pure (trans_ctx : trans_ctx)
             sg.info.fwd_info.num_inputs_with_fuel_with_state
           in
           let num_back_inputs =
-            (Option.get sg.info.back_info).num_inputs_no_fuel_no_state
+            match sg.info.back_info with
+            | SingleBack (Some info) -> info.num_inputs_no_fuel_no_state
+            | _ -> raise (Failure "Unexpected")
           in
           Collections.List.subslice sg.inputs num_forward_inputs
             (num_forward_inputs + num_back_inputs)