diff options
author | Rogan Creswick <creswick@gmail.com> | 2013-06-16 22:08:45 -0700 |
---|---|---|
committer | Rogan Creswick <creswick@gmail.com> | 2013-06-16 22:08:45 -0700 |
commit | 10fcc55c46753f1c1f3e2b5a2659263d7b64578e (patch) | |
tree | 48fd64f6ebfa064de431fc99480252c3a5e88f42 /src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java | |
parent | b5604498ce494199268290433960858266e67b10 (diff) |
removed debugging statements from upGoerFive rule, caught some exceptions in HeadlessAtom
Diffstat (limited to 'src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java')
-rw-r--r-- | src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java b/src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java index 5c0b233..cad8bee 100644 --- a/src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java +++ b/src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java @@ -92,7 +92,7 @@ public class Reporter { h1().text("Headless Run Summary").end(); p(); ul(); - li().a().href("byUrl.html").text("Results organized by URL").end().end(); + li().a().href("byURL.html").text("Results organized by URL").end().end(); li().a().href("byRule.html").text("Results organized by Rule").end().end(); end(); end(); |