mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-18 08:46:20 +00:00
This change adds necessary `#include` directives that were previously omitted in some header files. Without these includes, compilation could fail or produce undefined behavior when the headers are used in isolation (i.e., before their dependencies are included elsewhere). Ensures better modularity and reliability of header usage.