From 359f7459c85a08b9abc7771d39b28130b71caac2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= <thevoodoos@gmail.com>
Date: Fri, 17 Nov 2023 14:55:38 +0100
Subject: [PATCH] reconstruct identifier: handle ()

---
 src/ocaml/preprocess/lexer_ident.mll | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ocaml/preprocess/lexer_ident.mll b/src/ocaml/preprocess/lexer_ident.mll
index e9690dbd27..fd448d141c 100644
--- a/src/ocaml/preprocess/lexer_ident.mll
+++ b/src/ocaml/preprocess/lexer_ident.mll
@@ -91,6 +91,7 @@ rule token = parse
     { UIDENT ident }
   | "`"  { BACKQUOTE }
   | "'"  { QUOTE }
+  | "()" { LIDENT "()"}
   | "("  { LPAREN }
   | ")"  { RPAREN }
   | "."  { DOT }