added option for verifier
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Tue, 30 May 2006 12:08:59 +0000 (12:08 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Tue, 30 May 2006 12:08:59 +0000 (12:08 +0000)
commit3359acd667baef4a2d727f9b91928731046b24c4
treea29da427ba3e0165c854b467c70f4bb5c14e8d41
parent22956a6dc537339e29736e61a3f76ca28abca741
added option for verifier
ir/be/bechordal_main.c
ir/be/bechordal_t.h