use verify options from chordal env
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Thu, 1 Jun 2006 12:21:51 +0000 (12:21 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Thu, 1 Jun 2006 12:21:51 +0000 (12:21 +0000)
commit00e69787dd9b5ecaf1308f219343cec33a69188c
tree0d4fb8fca88db1944b478ea909a15d5151fb076c
parent9788f6a63517257b1db0dec9d965cadd8d6a374f
use verify options from chordal env
ir/be/bespillmorgan.c