--- a/publications.html Thu Oct 27 08:17:23 2022 +0100
+++ b/publications.html Thu Oct 27 08:19:36 2022 +0100
@@ -73,7 +73,6 @@
<H3>Pending</H3>
<p><B>POSIX Lexing with Bitcoded Derivatives.</B>
(with Tan)
-</TD>
<p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
Journal version.
</TD>