diff options
Diffstat (limited to 'bin/qsp_parser.ml')
| -rw-r--r-- | bin/qsp_parser.ml | 3 |
1 files changed, 2 insertions, 1 deletions
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 |