From 77457e4dc79710afdc3d1ecdf58c69e94fb3e018 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Mon, 28 Oct 2024 12:35:21 +0200
Subject: [PATCH] Use Cil.isIntegralType in extractPthread analysis

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

diff --git a/src/analyses/extractPthread.ml b/src/analyses/extractPthread.ml
index a61c54ab96..351099156c 100644
--- 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