more mutex changes
authorBrian Demsky <bdemsky@uci.edu>
Wed, 19 Sep 2012 23:38:33 +0000 (16:38 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Wed, 19 Sep 2012 23:38:33 +0000 (16:38 -0700)
commit85fac9c01a7269fe0a879f97155f9c5976672606
treeda350f76f4a60e4d6d9351a00735a9a7024e6a73
parent9ba28a8ef15225525c30c5303c859f64602820a3
more mutex changes
model.cc
mutex.cc
mutex.h