mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-18 17:06:21 +00:00
This was forgotten in a refactor commit.
Ref: c43c9567df
Signed-off-by: Michael Vetter <jubalh@iodoru.org>
This was forgotten in a refactor commit.
Ref: c43c9567df
Signed-off-by: Michael Vetter <jubalh@iodoru.org>