diff options
Diffstat (limited to 'test/uk/ac/ox/cs/pagoda/tester/Statistics.java')
| -rw-r--r-- | test/uk/ac/ox/cs/pagoda/tester/Statistics.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/uk/ac/ox/cs/pagoda/tester/Statistics.java b/test/uk/ac/ox/cs/pagoda/tester/Statistics.java index 71f1726..13d7f90 100644 --- a/test/uk/ac/ox/cs/pagoda/tester/Statistics.java +++ b/test/uk/ac/ox/cs/pagoda/tester/Statistics.java | |||
| @@ -6,6 +6,7 @@ import java.util.Iterator; | |||
| 6 | import java.util.LinkedList; | 6 | import java.util.LinkedList; |
| 7 | import java.util.Scanner; | 7 | import java.util.Scanner; |
| 8 | 8 | ||
| 9 | @Deprecated | ||
| 9 | public class Statistics { | 10 | public class Statistics { |
| 10 | 11 | ||
| 11 | double satCheckTime; | 12 | double satCheckTime; |
