CVC4/CVC4 — pull request #39 by mdeters (2014-06-22 01:15:54+00:00)
Title: Fix compiler warnings in BV-related code (unused vars mostly).

Liana, just another cleanup pass. Minor stuff. Please review this and either accept, or mark vars as CVC4_UNUSED if you want to keep them.