fixes #237. Keep in mind that you need to use the -keep-line-number option or else you won't get any line numbers (which is identical to the behavior of the old coffi frontend)
fixes #237. Keep in mind that you need to use the -keep-line-number option or else you won't get any line numbers (which is identical to the behavior of the old coffi frontend)

plast-lab/soot,xph906/SootNew,mbenz89/soot,xph906/SootNew,cfallin/soot,plast-lab/soot,mbenz89/soot,anddann/soot,cfallin/soot,cfallin/soot,xph906/SootNew,xph906/SootNew,mbenz89/soot,plast-lab/soot,anddann/soot,cfallin/soot,mbenz89/soot,anddann/soot,anddann/soot