frenetic-lang/frenetic — pull request #321 by seliopou (2014-07-24 18:09:59+00:00)
Title: emove opaque/unused update type

This was left over from when more of the `Raw_app` API was exposed from `Async_NetKAT`. This type is no longer necessary, nor can it be of any real use to clients of this library.