diff --git a/rtl/Out.java b/rtl/Out.java
index 429d3214773b9b27fdf8974fa98e1f193e1fec00..99899776c45ad838e94f8649f1d6fe9bd2049e54 100644 (file)
--- a/rtl/Out.java
+++ b/rtl/Out.java
System.out.write(str, 0, i);
}
- public static void Int(long i, long n)
+ public static void Int(long i, short n)
{
System.out.print(i);
}
- public static void Real(float x, int n)
+ public static void Real(float x, short n)
{
System.out.print(x);
}
- public static void LongReal(double x, int n)
+ public static void LongReal(double x, short n)
{
System.out.print(x);
}