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

---
 bin/qsp_parser.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'bin')

diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml
index 93f44f4..8ab442b 100644
--- a/bin/qsp_parser.ml
+++ b/bin/qsp_parser.ml
@@ -20,9 +20,10 @@ type ctx = { error_nb : int; warn_nb : int; debug_nb : int }
     List all the controls to apply 
  *)
 let _, _, _, e1 = Qsp_syntax.Check.build (module Qsp_syntax.Type_of)
+let _, _, _, e2 = Qsp_syntax.Check.build (module Qsp_syntax.Dead_end)
 
 module Check = Qsp_syntax.Check.Make (struct
-  let t = [| e1 |]
+  let t = [| e1; e2 |]
 end)
 
 (** Read the source file until getting a report (the whole location has been
-- 
cgit v1.2.3