Fixed two major bugs in paxos.cc.
[invirt/third/libt4.git] / lang /
drwxr-xr-x   ..
-rw-r--r-- 204 verify.h