From: Brian Norris <banorris@uci.edu>
Date: Thu, 1 Nov 2012 17:58:11 +0000 (-0700)
Subject: model: silence "uninitialized" warning
X-Git-Tag: pldi2013~33
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b133a2b2e11e6b95dfa805b9b90a4e53dce3d81d;hp=b133a2b2e11e6b95dfa805b9b90a4e53dce3d81d;p=model-checker.git

model: silence "uninitialized" warning
---