Use Cil.isIntegralType in extractPthread analysis

goblint · Oct 28, 2024 · 77457e4 · 77457e4
1 parent 28dc22b
commit 77457e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/extractPthread.ml b/src/analyses/extractPthread.ml
@@ -359,7 +359,7 @@ end
 module Variable = struct
   type t = varinfo
 
-  let is_integral v = match v.vtype with TInt _ -> true | _ -> false
+  let is_integral v = isIntegralType v.vtype
 
   let is_global v = v.vglob