From c8afa6551c97789d3b307520a2bc763ccaffeaf9 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 18 Feb 2009 23:04:13 +0000
Subject: [PATCH] Swap System.out for System...No need to hack Java source all
 the time for this.

---
 Robust/src/IR/Tree/SemanticCheck.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index f813abd8..815cef27 100644
--- a/Robust/src/IR/Tree/SemanticCheck.java
+++ b/Robust/src/IR/Tree/SemanticCheck.java
@@ -803,7 +803,11 @@ NextMethod:
 	typetolookin=min.getExpression().getType();
       } else {
 	//we have a type
-	ClassDescriptor cd=getClass(min.getBaseName().getSymbol());
+	ClassDescriptor cd;
+	if (min.getBaseName().getSymbol().equals("System.out"))
+	  cd=getClass("System");
+	else
+	  cd=getClass(min.getBaseName().getSymbol());
 	if (cd==null)
 	  throw new Error("md = "+ md.toString()+ "  "+min.getBaseName()+" undefined");
 	typetolookin=new TypeDescriptor(cd);
-- 
2.34.1