From: Peizhao Ou <peizhaoo@uci.edu>
Date: Wed, 10 Sep 2014 16:00:33 +0000 (-0700)
Subject: clean up
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=430eca5dcc20bfc89edac5c134d1c8af7a9614bc;hp=430eca5dcc20bfc89edac5c134d1c8af7a9614bc;p=model-checker-benchmarks.git

clean up
---