ClemsonRSRG/RESOLVE — pull request #142 by yushan87 (2014-11-14 21:26:28+00:00)
Title: Minor Fix

1) Commented out a line in abstract translator so it doesn't print the translated code to std_out
2) Ran the code through the formatter...