frenetic-lang/tutorials — pull request #3 by vzy2 (2014-07-16 18:35:44+00:00)
Title: Update Sol_Monitor2.ml

Changed a few types to match new API.