[internal]: fix filtering as saved theory-related environments

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

306 stars 46 forks source link

Closed strub closed 2 months ago

strub commented 2 months ago

The bug takes its root in a poorly document API (EcPath.isprefix).

The function now takes named arguments to make things clearer.

fix #570