From 35ef1827a216a1deb6d15f916ff197b0c75bc83e Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sat, 3 Feb 2024 17:41:28 +0100
Subject: Updated the interface for default expression analyzer

---
 lib/syntax/dead_end.ml | 1 -
 lib/syntax/default.ml  | 2 ++
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/syntax/dead_end.ml b/lib/syntax/dead_end.ml
index 98c361e..832a97a 100644
--- a/lib/syntax/dead_end.ml
+++ b/lib/syntax/dead_end.ml
@@ -6,7 +6,6 @@ let active = ref false
 
 module Expression = struct
   type t = unit
-  type t' = unit
 
   include Default.Expression (struct
     type nonrec t = t
diff --git a/lib/syntax/default.ml b/lib/syntax/default.ml
index 9e9a8ef..d345401 100644
--- a/lib/syntax/default.ml
+++ b/lib/syntax/default.ml
@@ -17,6 +17,8 @@ module Expression (T' : T) = struct
       If missing, the index should be considered as [0].
    *)
 
+  type t' = T'.t
+
   let ident : (S.pos, T'.t) S.variable -> T'.t = fun _ -> T'.default
 
   (*
-- 
cgit v1.2.3