Closed emillon closed 11 months ago
This ensures that dune runtest -p ctypes works.
dune runtest -p ctypes
I forgot to add that when porting the last test in #588.
This ensures that
dune runtest -p ctypes
works.