CVC4/CVC4 — pull request #46 by mdeters (2014-06-26 04:52:03+00:00)
Title: Potential fix for bug 573.

http://church.cims.nyu.edu/bugzilla3/show_bug.cgi?id=573