Bugfix examples/uint63z/prims.c#5

Open

eladrion wants to merge 1 commit intoCertiCoq:mainfrom

eladrion:uint63z_fix

Commits on Feb 23, 2024

Bugfix prims.c (port from https://github.com/eladrion/VeriFFI/tree/bugfixes)
eladrion
committed