@@ -109,8 +109,8 @@ You may print other lines (e.g. for debugging), as long as they do not start wit
-`obj` means that the variable points to an object
-`null` means that it points to a null literal. You must keep track of the source location of that particular `null` literal. Hence it has a line number and a column number.
-`<line-number>` is the line number of the allocation site of the variable.
-`<column-number>` is the column number of the allocation site of the variable.
-`<line-number>` is the line in which the operation takes place. If there is no line number, instead write the string "`-`" (without quotes) here.
-`<column-number>` is the column in which the operation takes place. If there is no column number, write `BBi` where `i` is the number of the basic block you are in.
