From fc235a1d2b7f10e6b5b1d7ed4328e2f9f7714171 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Wed, 25 Oct 2023 22:23:06 +0200
Subject: Updated the documentation

---
 lib/syntax/dead_end.mli | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'lib/syntax/dead_end.mli')

diff --git a/lib/syntax/dead_end.mli b/lib/syntax/dead_end.mli
index ce48791..451fe58 100644
--- a/lib/syntax/dead_end.mli
+++ b/lib/syntax/dead_end.mli
@@ -1 +1,6 @@
-include S.Analyzer with type Location.t = unit
+(** Checker looking for the dead ends in the source. 
+
+    A dead end is a state where the user does not have any action.
+ *)
+
+include S.Analyzer
-- 
cgit v1.2.3