public void putProblem(Node loc, string msg) { string file = loc.Filename; if (file != null) { addFileErr(file, loc.Start, loc.End, msg); } }