fix: rewriting with PrefixAutomaton

kalmarek · Jul 30, 2024 · 2819bbd · 2819bbd
1 parent 7bbe608
commit 2819bbd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/rewriting.jl b/src/rewriting.jl
@@ -1,7 +1,7 @@
 RewritingBuffer{T}(::Any) where {T} = RewritingBuffer{T}() # no history
 RewritingBuffer{T}(::IndexAutomaton{S}) where {T,S} = RewritingBuffer{T}(S[])
-function RewritingBuffer{T}(::PrefixAutomaton{S}) where {T,S}
-    return RewritingBuffer{T}(PackedVector{S}())
+function RewritingBuffer{T}(::PrefixAutomaton) where {T,S}
+    return RewritingBuffer{T}(PackedVector{UInt32}())
 end
 
 """