From 8ad0161dc4a9da6bb3794bce7dd31e806813ace9 Mon Sep 17 00:00:00 2001 From: karoliineh Date: Mon, 25 Sep 2023 10:26:13 +0300 Subject: [PATCH] Remove unused RegPart module --- src/analyses/regionNonEscape.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/analyses/regionNonEscape.ml b/src/analyses/regionNonEscape.ml index d4aebfc3c9..45e2f62735 100644 --- a/src/analyses/regionNonEscape.ml +++ b/src/analyses/regionNonEscape.ml @@ -7,7 +7,6 @@ open GoblintCil open Analyses module RegMap = RegionNonEscapeDomain.RegMap -module RegPart = RegionDomain.RegPart module Reg = RegionNonEscapeDomain.Reg module RS = RegionNonEscapeDomain.RS