From b156bf3f60ccb86f73cd8dd03961bcce91306102 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Mon, 14 Oct 2024 22:19:45 +0100 Subject: [PATCH] refactor: optimize small n# of groups matching --- lib/compile.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/compile.ml b/lib/compile.ml index 086164d9..915d5b2a 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 ;;