Minimizing substitution printing in `Split` nodes

runtimeverification / pyk

Python tools for the K Framework

BSD 3-Clause "New" or "Revised" License

13 stars 2 forks source link

Closed PetarMax closed 7 months ago

PetarMax commented 7 months ago

This PR fixes the unnecessary prints of identity parts of substitutions in Split nodes.