Fix typo in Idris network C code

I've been getting a warning when I compile with GCC 4.8.2, and with good reason! I think I found what looks to be an obvious typo in the Idris network C code.