Skip to content

Improve comment of `TCEq`.

Robbert Krebbers requested to merge robbert/tceq_comment into master

Addressing the comment in !123 (diffs, comment 45103)

Merge request reports