details

imandra-ai · Mar 21, 2024 · 110c4b7 · 110c4b7
1 parent c0b976d
commit 110c4b7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/src/core/log_reader.ml b/src/core/log_reader.ml
@@ -62,7 +62,7 @@ module File_json_l = struct
 end
 
 class of_file_jsonl (file : string) : t =
-  let open File_json_l in
+  let open! File_json_l in
   object
     method name = spf "file(%S)" file
 

diff --git a/src/thread/imandrax_util_thread.ml → src/thread/imandrakit_thread.ml b/src/thread/imandrax_util_thread.ml → src/thread/imandrakit_thread.ml