import from .zip file

put_stat.adb

@@ -0,0 +1,12 @@
+with TEXT_IO;
+with DEVELOPER_PARAMETERS; use DEVELOPER_PARAMETERS;
+procedure PUT_STAT(S : STRING) is
+begin
+  if TEXT_IO.IS_OPEN(STATS) then
+    TEXT_IO.PUT_LINE(STATS, S);
+  end if;
+end PUT_STAT;
+
+
+
+