frenetic-lang/frenetic — pull request #353 by seliopou (2014-09-26 14:53:58+00:00)
Title: compiler-api: simplify compiler API

There were two redundant functions in the module that did the same thing but had different definitions (`compile` and `of_policy`). In addition, renamed `to_netkat` to `to_policy`.