[Eva] Removes [add_formals_to_state] from Db.Value. Removes function_args file.
Showing
- src/kernel_services/plugin_entry_points/db.ml 0 additions, 2 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 0 additions, 5 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/eva/legacy/function_args.ml 0 additions, 83 deletionssrc/plugins/eva/legacy/function_args.ml
- src/plugins/eva/legacy/function_args.mli 0 additions, 24 deletionssrc/plugins/eva/legacy/function_args.mli
Loading
Please register or sign in to comment