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

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

(limited to 'test/qsp_parser_test.ml')

diff --git a/test/qsp_parser_test.ml b/test/qsp_parser_test.ml
index cbbe91e..8629175 100644
--- a/test/qsp_parser_test.ml
+++ b/test/qsp_parser_test.ml
@@ -1 +1,2 @@
-let () = Alcotest.run "qsp_parser" [ Syntax.test; Syntax_error.test ]
+let () =
+  Alcotest.run "qsp_parser" [ Syntax.test; Syntax_error.test; Dead_end.test ]
-- 
cgit v1.2.3