frenetic-lang/frenetic — pull request #196 by mcanini (2013-12-13 14:40:33+00:00)
Title: Make policy printing optional.

Minor code reorganization to avoid printing policy for local dump.