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

model: silence "uninitialized" warning
---