Added "equiv_induct -undef"
authorClifford Wolf <clifford@clifford.at>
Sat, 31 Jan 2015 12:58:04 +0000 (13:58 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 31 Jan 2015 12:58:04 +0000 (13:58 +0100)
commitbc86b4a7e9c847180e6fd7ed81e0a15d5aee00a0
tree792f7fd235280bbb315bdf370ff9eddf4ad4d101
parente9cfc4a453ac0bdfaee44ab3f6d010a2cfecec5e
Added "equiv_induct -undef"
kernel/sigtools.h
passes/equiv/equiv_induct.cc