microsoft / Trieste

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

Fix for "assuming cast" compiler error on comparison to std::endl. #91

Closed matajoh closed 7 months ago

matajoh commented 7 months ago

On some platforms (notably musllinux) the comparison changed in the PR causes an compiler error about assuming a cast on f. The committed change fixes that compiler error without any change in functionality.