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