Fix a small bug in a cram test and some typos

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

https://ocaml-gospel.github.io/ortac/

MIT License

36 stars 10 forks source link

Fix a small bug in a cram test and some typos #210

Closed shym closed 5 months ago

shym commented 5 months ago

This tiny PR fixes a bug with the dune-rules cram test which might trigger dynlink failures. It also proposes to rephrase a sentence and to fix typos.

n-osborne commented 5 months ago

Thanks! Nice catch