loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

Corrected no longer valid `ease` URL to solve compile error. #35

Open drwhomphd opened 4 years ago

drwhomphd commented 4 years ago

This pull request solves a compile error in the current master branch due to ease now having a different path in the eclipse repositories. I've initially set this to latest and it appears to work with the fmw compile, but this may not be the intention of the maintainers.