Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
authorBrian Demsky <bdemsky@uci.edu>
Wed, 6 Mar 2013 05:41:09 +0000 (21:41 -0800)
committerBrian Demsky <bdemsky@uci.edu>
Wed, 6 Mar 2013 05:41:09 +0000 (21:41 -0800)

Trivial merge