diff options
| author | Markus Teich <markus.teich@stusta.mhn.de> | 2016-06-21 23:06:15 +0200 |
|---|---|---|
| committer | Markus Teich <markus.teich@stusta.mhn.de> | 2016-06-21 23:06:15 +0200 |
| commit | 8d717c4b3d126104929aeb5e3a2176dd534e25ea (patch) | |
| tree | 65fb80bd331e8ce5991aa723502e7a023cc0b8f6 /util.c | |
| parent | 584423199339cff2e0ad348df60148672a562fe4 (diff) | |
use proof structs. fix bug in mpi_serialize
Diffstat (limited to 'util.c')
0 files changed, 0 insertions, 0 deletions