From: Brian Demsky <bdemsky@uci.edu>
Date: Sat, 3 Nov 2012 04:10:00 +0000 (-0700)
Subject: this is the bad line...
X-Git-Tag: pldi2013~13^2~7^2
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=11270ed797bd19f432589cdc7b01688ef924dd34;hp=11270ed797bd19f432589cdc7b01688ef924dd34;p=model-checker.git

this is the bad line...
---