concept/mproof: Fixed an old minor bug in the concept.master
[neuro.git] / concept / 
tree4dc3c32c3d5b41f83dce830525c54559fcfa445e
drwxr-xr-x   ..
-rwxr-xr-x 3542 mproof.c