From: Brian Norris <banorris@uci.edu>
Date: Wed, 3 Oct 2012 20:17:47 +0000 (-0700)
Subject: modeltypes: move small typedefs to own header
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=12b1a10eeff58161619bafcfd8e288b3e2c76621;hp=12b1a10eeff58161619bafcfd8e288b3e2c76621;p=c11tester.git

modeltypes: move small typedefs to own header

To prevent some unnecessary inter-header dependencies, we can move some
simple typedefs to a modeltypes.h header.
---