call abort() instead of exit()
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 18 May 2006 15:23:54 +0000 (15:23 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 18 May 2006 15:23:54 +0000 (15:23 +0000)
commit68865039b4ff2c86bf332b3fbedb4849e21c570f
tree976c643108b012f2075f270c3aadf5529b367202
parent9996abb0e59c2995f60d31ccc81ae80eea678ea2
call abort() instead of exit()

[r7761]
ir/common/error.c