runtimeverification/javamop — pull request #66 by owolabileg (2014-09-13 04:49:02+00:00)
Title: Minor cleanup

removed some debug info that was accidentally left in.

@yzhang90 please review this one line change.