From 3cd5f3e1994d170f1810552336ad6608a48dde27 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 5 Apr 2006 22:09:28 +0000
Subject: [PATCH] Add a system class

---
 Robust/src/ClassLibrary/System.java | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 Robust/src/ClassLibrary/System.java

diff --git a/Robust/src/ClassLibrary/System.java b/Robust/src/ClassLibrary/System.java
new file mode 100644
index 00000000..142eca83
--- /dev/null
+++ b/Robust/src/ClassLibrary/System.java
@@ -0,0 +1,3 @@
+public class System {
+    public static native void printInt(int x);
+}
-- 
2.34.1