[Eva] Subdivided evaluations: uses environment instead of context.
To be consistent with evaluation.ml.
Showing
- src/plugins/eva/engine/evaluation.ml 6 additions, 6 deletionssrc/plugins/eva/engine/evaluation.ml
- src/plugins/eva/engine/subdivided_evaluation.ml 20 additions, 20 deletionssrc/plugins/eva/engine/subdivided_evaluation.ml
- src/plugins/eva/engine/subdivided_evaluation.mli 4 additions, 4 deletionssrc/plugins/eva/engine/subdivided_evaluation.mli
Loading
Please register or sign in to comment