[Eva] Completely remove the loc parameter to Eva_annotations.add_*
Showing
- src/plugins/aorai/aorai_eva_analysis.enabled.ml 1 addition, 2 deletionssrc/plugins/aorai/aorai_eva_analysis.enabled.ml
- src/plugins/value/Eva.mli 4 additions, 4 deletionssrc/plugins/value/Eva.mli
- src/plugins/value/utils/eva_annotations.ml 4 additions, 4 deletionssrc/plugins/value/utils/eva_annotations.ml
- src/plugins/value/utils/eva_annotations.mli 4 additions, 4 deletionssrc/plugins/value/utils/eva_annotations.mli
Loading
Please register or sign in to comment