diff options
| -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; } |