From 6a0c25a7bae8ae0ccc178a07f0b1838671f2b32d Mon Sep 17 00:00:00 2001
From: Bruno Guillaume <Bruno.Guillaume@loria.fr>
Date: Thu, 3 Nov 2022 07:44:35 +0100
Subject: [PATCH] adapt corpus_count to new request representation
---
src_ocaml/grewpy.ml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/src_ocaml/grewpy.ml b/src_ocaml/grewpy.ml
index 061ad6a..dfceaae 100644
--- a/src_ocaml/grewpy.ml
+++ b/src_ocaml/grewpy.ml
@@ -195,8 +195,7 @@ let run_command request =
begin
try
let corpus_index = json |> member "corpus_index" |> to_int in
- let string_pattern = json |> member "pattern" |> to_string in
- let pattern = Pattern.parse ~config string_pattern in
+ let pattern = Grs.request_of_json ~config (json |> member "request") in
let corpus = Global.corpus_get corpus_index in
let count = Array.fold_left
--
GitLab