diff --git a/rtl/System.java b/rtl/System.java
index 08411e7625f896886a3032037fd9b65ef416ed44..d2ccf9b5d8cdef65e254743e3bb8374ae0e5679f 100644 (file)
--- a/rtl/System.java
+++ b/rtl/System.java
public class System
{
- public static void Halt(int n)
+ public static void Halt(short n)
{
java.lang.System.exit(n);
}