diff options
author | 2012-12-03 18:58:15 -0800 | |
---|---|---|
committer | 2012-12-03 18:58:15 -0800 | |
commit | 89888dd4952bf330c3b20a6b23346879332fd48d (patch) | |
tree | cc390aad464e43728fd9ec7755c8b886ebd1d290 /rsTester | |
parent | 5e8dd37e31da9c1b0c50d3df1768c6792ed3faf9 (diff) |
removed verbose print statements
Diffstat (limited to 'rsTester')
-rw-r--r-- | rsTester/src/main/java/com/galois/fiveui/Rule.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rsTester/src/main/java/com/galois/fiveui/Rule.java b/rsTester/src/main/java/com/galois/fiveui/Rule.java index e87cc19..618f231 100644 --- a/rsTester/src/main/java/com/galois/fiveui/Rule.java +++ b/rsTester/src/main/java/com/galois/fiveui/Rule.java @@ -60,7 +60,7 @@ public class Rule { if (obj.containsKey("id")) { id = ((Long)obj.get("id")).intValue(); } else { - System.err.println("Warning: rule " + name + " has no ID #, using ID 0"); + //System.err.println("Warning: rule " + name + " has no ID #, using ID 0"); id = 0; } |