search

rems-project / sail

Sail architecture definition language
Other
624 stars 116 forks source link

fix typo in dune-project #731

Closed westtide closed 1 month ago

westtide commented 1 month ago

fix a typo in dune-project about sail_smt_backend package

Alasdair commented 1 month ago

Well spotted, thanks!