diff options
Diffstat (limited to 'src/jcgp/backend/resources/ModifiableResources.java')
| -rw-r--r-- | src/jcgp/backend/resources/ModifiableResources.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/jcgp/backend/resources/ModifiableResources.java b/src/jcgp/backend/resources/ModifiableResources.java index 3841963..048e460 100644 --- a/src/jcgp/backend/resources/ModifiableResources.java +++ b/src/jcgp/backend/resources/ModifiableResources.java @@ -216,6 +216,7 @@ public class ModifiableResources extends Resources { /* * Console functionality + * These are not affected by parameter report interval */ public void println(String s) { System.out.println(s); @@ -223,7 +224,7 @@ public class ModifiableResources extends Resources { console.println(s); } } - + public void print(String s) { System.out.print(s); if (console != null) { |