diff options
Diffstat (limited to 'backend/Splitting.ml')
-rw-r--r-- | backend/Splitting.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/backend/Splitting.ml b/backend/Splitting.ml index b745faa2..3ca45c3b 100644 --- a/backend/Splitting.ml +++ b/backend/Splitting.ml @@ -183,6 +183,4 @@ let rename_function f = fn_params = ren_regs before_entrypoint f.fn_params; fn_stacksize = f.fn_stacksize; fn_code = PTree.map (ren_instr f maps) f.fn_code; - fn_entrypoint = f.fn_entrypoint; - fn_untrusted_analysis = { answer_to_life_the_universe_and_everything = None; - staged_header_dup = None } } + fn_entrypoint = f.fn_entrypoint } |