From 5524f179d2b3b89c2eaf7b4c913653dab48648ae Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Mon, 16 Dec 2013 12:39:36 -0800
Subject: regenerated after updating Parser.frame

---
 Source/Core/Parser.cs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'Source/Core/Parser.cs')

diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs
index 6c70fca4..f1cae496 100644
--- a/Source/Core/Parser.cs
+++ b/Source/Core/Parser.cs
@@ -2267,6 +2267,12 @@ public class Errors {
 		count++;
 	}
 
+	public void Warning(IToken/*!*/ tok, string/*!*/ msg) {  // warnings
+		Contract.Requires(tok != null);
+		Contract.Requires(msg != null);
+		Warning(tok.filename, tok.line, tok.col, msg);
+	}
+
 	public virtual void Warning(string filename, int line, int col, string msg) {
 		Contract.Requires(msg != null);
 		errorStream.WriteLine(warningMsgFormat, filename, line, col, msg);
-- 
cgit v1.2.3