fix for bv crash in incremental mode; this is a temporary fix for bug 493
Merge branch '1.0.x' of https://github.com/CVC4/CVC4 into 1.0.x