Remove submodule redeclarations from state header file - Githubissues

xr0-org / xr0

The Xr0 Verifier for C

https://xr0.dev

Apache License 2.0

174 stars 4 forks source link

Remove submodule redeclarations from state header file #9

Closed claude-betz closed 8 months ago

claude-betz commented 9 months ago

This may involving shuffling around what some of the submodules are.