regenerated after updating Parser.frame

1 files changed, 6 insertions, 0 deletions

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);