diff options
Diffstat (limited to 'test/make_checkTest.ml')
| -rw-r--r-- | test/make_checkTest.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/make_checkTest.ml b/test/make_checkTest.ml index 2066c22..d428b45 100644 --- a/test/make_checkTest.ml +++ b/test/make_checkTest.ml @@ -26,7 +26,8 @@ module M (Check : Qsp_syntax.S.Analyzer) = struct let lexing = Sedlexing.Latin1.from_string content |> Qparser.Lexbuf.from_lexbuf in - Qparser.Analyzer.parse (module Check) lexing + let context = Check.initialize () in + Qparser.Analyzer.parse (module Check) lexing context let get_report : (Check.Location.t * Qsp_syntax.Report.t list, Qsp_syntax.Report.t) result -> |