This commit was manufactured by cvs2svn to create tag 'buildscript'.
[IRC.git] / Robust / src / Benchmarks / Spider / BR / QueryList.java
diff --git a/Robust/src/Benchmarks/Spider/BR/QueryList.java b/Robust/src/Benchmarks/Spider/BR/QueryList.java
deleted file mode 100644 (file)
index 90dc9df..0000000
+++ /dev/null
@@ -1,14 +0,0 @@
-public class QueryList {
-    flag initialized;
-    HashSet queries;
-
-    public QueryList() {
-       queries=new HashSet();
-    }
-    public boolean checkQuery(String x) {
-       return queries.contains(x);
-    }
-    public void addQuery(String x) {
-       queries.add(x);
-    }
-}