print out a warning msg when we have a nondeterministic inlining.
[IRC.git] / Robust / src / Tests / Atomic3.java
index e38acce11930691b6e17826ceaa69487dd229e7f..f17fb65035cd0e73d783fb323e0e3373ab355a01 100644 (file)
@@ -17,6 +17,7 @@ public class Atomic3 extends Thread {
                }
                System.printString("b is ");
                System.printInt(b);
+               System.printString("\n");
                atomic{
                        at3.root.item = 2445;
                        y = global new Integer(400);