fix file IO: void* instead of char*
authorJann Horn <jann@thejh.net>
Sat, 27 Jul 2013 10:21:37 +0000 (12:21 +0200)
committerJann Horn <jann@thejh.net>
Sat, 27 Jul 2013 10:21:37 +0000 (12:21 +0200)
commit95317cdba6d5b393db2e68f44487456ea0d99664
tree77895e90a55f10d0ae1d9c0e8a3b8de10193f007
parentc1adc4723f53f078f27951a95cd8b5aa8fd98367
fix file IO: void* instead of char*
io.c