model: remove unnecessary parameter to ModelChecker::process_read
authorBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 23:08:04 +0000 (16:08 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Sep 2012 23:08:04 +0000 (16:08 -0700)
commitc71b8a4681f671a8236a315ae9ce08a49716c37e
treeb30dfa2c781e737ac92c8e5b6f7714f48ef8ac1c
parent57d7975634e97da2d32f95054dccf40ca871e558
model: remove unnecessary parameter to ModelChecker::process_read

The current Thread can be generated later.
model.cc
model.h