model: use get_write_value()
authorBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 23:05:44 +0000 (15:05 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 23:05:44 +0000 (15:05 -0800)
commit8d4a273698366b54612e40742ef6fb7bd63c7090
tree4d788054c912a5d8fd7e9188ce650aac480d33e6
parent443fd91df4ad9b88d5ec88a29f80008911b4a917
model: use get_write_value()

Same implementation for now, but it could change.
model.cc