just added some spaces to improve error message

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 5110b2be6c77bfdbf8cb817b7d51f1858d6e458c..0d224a062d7667f0e709360caffb95eaff0414c3 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -1935,7 +1935,7 @@ public class BuildCode {
       }
       if (fc.getThis()!=null&&md.getThis()==null) {
        System.out.println("WARNING!!!!!!!!!!!!");
-       System.out.println("Source code calls static method"+md+"on an object in "+fm.getMethod()+"!");
+       System.out.println("Source code calls static method "+md+" on an object in "+fm.getMethod()+"!");
       }