From 0e3f1bee06a4a6db4077f503e8e287ba2821ac23 Mon Sep 17 00:00:00 2001
From: Pierre Wilke <pierre.wilke@centralesupelec.fr>
Date: Mon, 1 Mar 2021 00:28:08 +0100
Subject: [PATCH] =?UTF-8?q?Correction=20de=20l'expression=20r=C3=A9guli?=
=?UTF-8?q?=C3=A8re=20pour=20les=20commentaires=20multi-ligne?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/e_regexp.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/e_regexp.ml b/src/e_regexp.ml
index 779f7f2..4f6c43f 100644
--- a/src/e_regexp.ml
+++ b/src/e_regexp.ml
@@ -105,11 +105,11 @@ let list_regexp : (regexp * (string -> token option)) list =
fun s -> None);
(Cat(keyword_regexp "/*",
Cat(
- Star (Alt (
+ Cat (Star (Alt (
char_range (List.filter (fun c -> c <> '*') alphabet),
Cat (Star(char_regexp '*'),
plus(char_range (List.filter (fun c -> c <> '/' && c <> '*') alphabet)))
- )),
+ )), Star (char_range ['*'])),
keyword_regexp "*/")),
fun s -> None);
(Cat (char_regexp '\'',
--
GitLab