add PCLOC annotations. all three benchmarks are type-checked now.

[IRC.git] / Robust / src / ClassLibrary / SSJava / Math.java

diff --git a/Robust/src/ClassLibrary/SSJava/Math.java b/Robust/src/ClassLibrary/SSJava/Math.java
index 3cb7eb104db07b246a266b5e44afedc4c881851c..355caf9b023fc72eb087ab47cdfcf72a01889276 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/Math.java
+++ b/Robust/src/ClassLibrary/SSJava/Math.java
@@ -53,6 +53,7 @@ public class Math {
   }
 
   @RETURNLOC("OUT")
+  @PCLOC("IN")
   public static int min(@LOC("IN") int a, @LOC("IN") int b) {
     return (a < b) ? a : b;
   }