diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Translate.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Translate.ml b/src/Translate.ml index 8084dc38..f86ef438 100644 --- a/src/Translate.ml +++ b/src/Translate.ml @@ -314,8 +314,8 @@ let translate_module (filename : string) (dest_dir : string) let extract_ctx = List.fold_left - (fun extract_ctx (_, def) -> - ExtractToFStar.extract_fun_def_register_names extract_ctx def) + (fun extract_ctx (keep_fwd, def) -> + ExtractToFStar.extract_fun_def_register_names extract_ctx keep_fwd def) extract_ctx trans_funs in |