1 files changed, 10 insertions, 2 deletions

diff --git a/ekdosis.dtx b/ekdosis.dtx
index 1cd7d1b..77654f6 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -8235,8 +8235,16 @@ function ekdosis.newpatttotag(pat, repl)
    pat = string.gsub(pat, "([%[%]])", "%%%1")
    pat = string.gsub(pat, "%#[1-9]", "(.-)")
    repl = string.gsub(repl, "%#([1-9])", "%%%1")
-   table.insert(texpatttotags, { a = pat, b = repl })
-   table.sort(texpatttotags, function(a ,b) return(#a.a > #b.a) end)
+   if isintable(texpatttotags, pat)
+   then
+      local index = get_a_index(pat, texpatttotags)
+      table.remove(texpatttotags, index)
+      table.insert(texpatttotags, { a = pat, b = repl })
+      table.sort(texpatttotags, function(a ,b) return(#a.a > #b.a) end)
+   else
+      table.insert(texpatttotags, { a = pat, b = repl })
+      table.sort(texpatttotags, function(a ,b) return(#a.a > #b.a) end)
+   end
    return true
 end