CVC4/CVC4 — pull request #55 by kbansal (2014-10-06 21:56:33+00:00)
Title: fix for bug586

Morgan, fixed the relevant assertion. --Kshitij