lsp: fix meta numbering reset (issue Deducteam#1097)

fblanqui · Apr 26, 2024 · 5839c6d · 5839c6d
1 parent 5f606fa
commit 5839c6d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/pure/pure.ml b/src/pure/pure.ml
@@ -64,6 +64,7 @@ let parse_text : state -> fname:string -> string -> Command.t list * state =
     fun (t,st) ~fname s ->
   let dk_syntax = Filename.check_suffix fname dk_src_extension in
   try
+    LibMeta.reset_meta_counter();
     Time.restore t;
     let ast =
       let strm =