1 files changed, 5 insertions, 0 deletions
diff --git a/src/batchtools/rsTester/src/main/java/com/galois/fiveui/Result.java b/src/batchtools/rsTester/src/main/java/com/galois/fiveui/Result.java
index a367d1d..6c83c7b 100644
--- a/src/batchtools/rsTester/src/main/java/com/galois/fiveui/Result.java
+++ b/src/batchtools/rsTester/src/main/java/com/galois/fiveui/Result.java
@@ -205,4 +205,9 @@ public class Result {
              + " |\\_ " + _ruleDesc + "\n"
              + "  \\_ " + _prob;
     }
+
+    public String getXpath() {
+        // TODO Auto-generated method stub
+        return null;
+    }
 }