runtimeverification/javamop — pull request #98 by seriousamlqz (2014-10-01 22:50:54+00:00)
Title: Fix bug introduced by cleanup change #87. DumpVisitor is still needed as...

Fix bug introduced by cleanup change #87. DumpVisitor is still needed asit will take multiple phases to generate code.

It passed with javamop -agent -usedb.
@owolabileg and others please review, thanks!