zkincaid / duet

Duet: static analysis for unbounded concurrency
http://duet.cs.toronto.edu
MIT License
23 stars 17 forks source link

Fix README.md; OCaml >= 4.10 is necessary #34

Closed ushitora-anqou closed 2 years ago

ushitora-anqou commented 2 years ago

To build duet, I needed to use OCaml 4.10 or newer because it uses List.concat_map, which has been supported since OCaml 4.10.

zkincaid commented 2 years ago

Thanks!