fix

imandra-ai · Dec 4, 2024 · 8960320 · 8960320
1 parent d9843eb
commit 8960320
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/log/logger.ml b/src/log/logger.ml
@@ -158,7 +158,7 @@ open struct
 
   let get_ambient_meta_ () =
     match LS.get_exn LS.k_local_hmap with
-    | exception LS.Not_set -> Str_map.empty
+    | exception _ -> Str_map.empty
     | m -> (try Hmap.get k_ambient_meta m with _ -> Str_map.empty)
 
   let add_ambient_meta_ k v : unit =