BugFix: fix #k output
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 20 Mar 2008 16:10:16 +0000 (16:10 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 20 Mar 2008 16:10:16 +0000 (16:10 +0000)
commit0398c22778ba28be93a68f69a54124fd95826403
tree1b4f00428dda2076d6fd5cbe4c622de4289c9a4a
parentf41748b58f7116ef41ac71e129e8de1b2df11d87
BugFix: fix #k output

[r19002]
diagnostic.c