Fix typo in Idris network C code
Merge pull request #1345 from bmsherman/idrisNetFix

Fix typo in Idris network C code