Make sure WP is ocp-indent compliant

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

102 stars 14 forks source link

Closed fortunac closed 3 years ago

fortunac commented 3 years ago

We should run ocp-indent on all of WP to make sure the code's spacing is compliant.

gltrost commented 3 years ago

I can quickly run on ocp-indent -i on all .ml and .mli files.

codyroux commented 3 years ago

Doesn't seem to be a priority for now.