diff --git a/lib/compile.ml b/lib/compile.ml index 086164d..915d5b2 100644 --- a/lib/compile.ml +++ b/lib/compile.ml @@ -139,7 +139,7 @@ module Positions = struct then { positions = (let n = Automata.Working_area.index_count re.tbl + 1 in - if n <= 10 then [| 0; 0; 0; 0; 0; 0; 0; 0; 0; 0 |] else Array.make n 0) + Array.make n 0) } else empty ;;