idris-lang/Idris-dev — pull request #1345 by bmsherman (2014-06-30 04:05:08+00:00)
Title: 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.