From: Brian Norris Date: Thu, 21 Jun 2012 09:11:15 +0000 (-0700) Subject: Merge branch 'sandbox' (remove finalize()) X-Git-Tag: pldi2013~391^2~2 X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=f3ef22bef8d339c7d45b7d7232cdcf183a0b7776 Merge branch 'sandbox' (remove finalize()) Merge in the fix from Subramanian and me that eliminates the need for a finalize() call. It was a kind of bug, in a way, that hopefully is fixed now... --- f3ef22bef8d339c7d45b7d7232cdcf183a0b7776