zkincaid / duet

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

Update duet.ml #5

Closed trucnguyenlam closed 8 years ago

trucnguyenlam commented 8 years ago

make compiling work

zkincaid commented 8 years ago

Thanks for the patch -- this line was intended for a different (experimental) branch.