From 0b75cd5bc0f7d0ad905bce5bebc6e47c927f64d7 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Mon, 16 Oct 2023 16:42:53 +0200
Subject: Used the dead-end checker in main analysis

---
 lib/syntax/dead_end.mli | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 lib/syntax/dead_end.mli

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

diff --git a/lib/syntax/dead_end.mli b/lib/syntax/dead_end.mli
new file mode 100644
index 0000000..ce48791
--- /dev/null
+++ b/lib/syntax/dead_end.mli
@@ -0,0 +1 @@
+include S.Analyzer with type Location.t = unit
-- 
cgit v1.2.3