Moved the checks in a dedicated library

1 files changed, 1 insertions, 0 deletions

diff --git a/bin/dune b/bin/dune
index 58e96ff..71e619d 100644
--- a/bin/dune
+++ b/bin/dune
@@ -4,6 +4,7 @@
  (libraries 
    sedlex
    qsp_syntax
+   qsp_checks
    qparser
    tools
    )