From 288bcf026455692886e0506e6e3fdecbe321a7b4 Mon Sep 17 00:00:00 2001
From: Junya Hirashima <hirashima.junya.34z@st.kyoto-u.ac.jp>
Date: Fri, 5 Jan 2024 18:39:14 +0900
Subject: [PATCH] Update `walk_type` for lock and tid

---
 src/flowInference.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/flowInference.ml b/src/flowInference.ml
index 826112c1..a9541805 100644
--- a/src/flowInference.ml
+++ b/src/flowInference.ml
@@ -706,7 +706,7 @@ let rec walk_type ty step f st acc =
                   let acc = f st' acc in
                   let mst = step `Elem st in
                   continue ~acc mst f)))
-  | `Lock _ | `ThreadID _ -> failwith "not implemented in flowinference"
+  | `Lock _ | `ThreadID _ -> acc
 
 (** Walk two paths in parallel according to the type ty. Unlike type_walk, this
    walk function only calls the step function when: