concept/mproof: Fixed an old minor bug in the concept.master
commit4c102f22bdff829e109fbff140d68fdc9814038b
authorNicholas Niro <nik_89@xroutine.net>
Thu, 18 Jun 2015 05:45:14 +0000 (18 01:45 -0400)
committerNicholas Niro <nik_89@xroutine.net>
Thu, 18 Jun 2015 05:45:14 +0000 (18 01:45 -0400)
tree47b14cee36b22c602213e7c607c6e414799f8221
parentd98bb8791b545aa5163934f9007f77b65909e3ab
concept/mproof: Fixed an old minor bug in the concept.
concept/mproof.c