correct typo in min

Author: laurayuwen

src/castnull.java

@@ -26,7 +26,4 @@ rule
 <nextLoc> I:Int => ?_:Int </nextLoc>
 requires X >=Int -2147483648 andBool X <=Int 2147483647 andBool Y >=Int -2147483648 andBool Y <=Int 2147483647
 
-endmodule
-
-
-
+endmodule

src/verification/min_spec.k src/verification/min-spec.ksrc/verification/min_spec.k renamed to src/verification/min-spec.k

@@ -1,14 +1,14 @@
 public class min {
 
 public static void main(String[] args) {
- 
+     System.out.println("min of 4 and 5 is" + min(4, 5));
 }
 //@min(x,y)==minInt(x,y)
 static int min(int x, int y)
 {
   if (x <= y)
     return x;
   else
-    return x;
+    return y;
 }
 }