concept/mproof: Fixed an old minor bug in the concept.master
tree47b14cee36b22c602213e7c607c6e414799f8221
-rw-r--r-- 445 .gitignore
-rw-r--r-- 160 AUTHORS
-rw-r--r-- 26432 COPYING
-rw-r--r-- 13071 ChangeLog
-rw-r--r-- 9273 INSTALL
-rw-r--r-- 149 Makefile.am
-rw-r--r-- 0 NEWS
-rw-r--r-- 0 README
-rw-r--r-- 8571 TODO
-rwxr-xr-x 242 autogen.sh
drwxr-xr-x - concept
-rw-r--r-- 10974 configure.ac
drwxr-xr-x - docs
drwxr-xr-x - include
-rw-r--r-- 910 legal_header
drwxr-xr-x - libs
drwxr-xr-x - scripts
drwxr-xr-x - src
drwxr-xr-x - templates
-rw-r--r-- 58 version.mk