From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Aug 2013 04:16:34 +0000 (-0700)
Subject: README.md: have to include our headers
X-Git-Tag: oopsla2015~19
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f8417a2a7b21e1b14fb8ce905640f96aafdf8177;hp=f8417a2a7b21e1b14fb8ce905640f96aafdf8177;p=model-checker.git

README.md: have to include our headers
---