microsoft / Trieste

A term rewriting system for experimental programming language development.
MIT License
37 stars 20 forks source link

Fix to #309 #95

Closed mjp41 closed 5 months ago

mjp41 commented 5 months ago

The traverse function was calling post(root) twice: once just before exiting the loop, and once just after the loop.

This removes the unneccessary additional call.