added option for verifier
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Tue, 30 May 2006 12:09:49 +0000 (12:09 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Tue, 30 May 2006 12:09:49 +0000 (12:09 +0000)
commit73ea95d18535fbdb5aefa6dcb3f85b5dbee774f1
treeef5fe4d75f83566ca2e25d74a4e3d6f4be0fb0ec
parent3359acd667baef4a2d727f9b91928731046b24c4
added option for verifier
mris is now disabled by default
ir/be/bemain.c