Removed unused header.

diff --git a/re2c/Makefile.am b/re2c/Makefile.am
index f8561dc5d9e0ea2893c6c271dfcb6b36bb151d0a..480320aa3723cba27c2eef7b5f1dca4b674d945c 100644 (file)
--- a/re2c/Makefile.am
+++ b/re2c/Makefile.am
@@ -60,7 +60,6 @@ SRC_HDR = \
        src/util/forbid_copy.h \
        src/util/free_list.h \
        src/util/hash32.h \
-       src/util/intersect_sorted.h \
        src/util/local_increment.h \
        src/util/lookup.h \
        src/util/ord_hash_set.h \

diff --git a/re2c/src/util/intersect_sorted.h b/re2c/src/util/intersect_sorted.h
deleted file mode 100644 (file)
index 245a837..0000000
--- a/re2c/src/util/intersect_sorted.h
+++ /dev/null
@@ -1,27 +0,0 @@
-#ifndef _RE2C_UTIL_INTERSECT_SORTED_
-#define _RE2C_UTIL_INTERSECT_SORTED_
-
-namespace re2c {
-
-// test intersection of two sorted ranges
-template<class InputIterator1, class InputIterator2>
-bool intersect_sorted(
-       InputIterator1 first1, InputIterator1 last1,
-       InputIterator2 first2, InputIterator2 last2)
-{
-       for (;first1 != last1 && first2 != last2;) {
-               if (*first2 < *first1) {
-                       ++first2;
-               } else if (*first1 < *first2) {
-                       ++first1;
-               } else {
-                       return true;
-               }
-       }
-       return false;
-}
-
-} // namespace re2c
-
-#endif // _RE2C_UTIL_INTERSECT_
-