riolet/nope.c — pull request #41 by truongminh (2014-08-05 01:49:11+00:00)
Title: Delete repeated code lines

Issuue https://github.com/riolet/nope.c/issues/40