diff --git a/infer/src/checkers/ConfigChecksBetweenMarkers.ml b/infer/src/checkers/ConfigChecksBetweenMarkers.ml
index 5145e1bf2..ecea1828a 100644
--- a/infer/src/checkers/ConfigChecksBetweenMarkers.ml
+++ b/infer/src/checkers/ConfigChecksBetweenMarkers.ml
@@ -535,7 +535,7 @@ module Dom = struct
 end
 
 module TransferFunctions = struct
-  module CFG = ProcCfg.NormalOneInstrPerNode
+  module CFG = ProcCfg.Normal
   module Domain = Dom
 
   type analysis_data = Summary.t InterproceduralAnalysis.t
diff --git a/infer/src/checkers/ConfigImpactAnalysis.ml b/infer/src/checkers/ConfigImpactAnalysis.ml
index 38673cec6..a304423c3 100644
--- a/infer/src/checkers/ConfigImpactAnalysis.ml
+++ b/infer/src/checkers/ConfigImpactAnalysis.ml
@@ -223,7 +223,7 @@ module Dom = struct
 end
 
 module TransferFunctions = struct
-  module CFG = ProcCfg.NormalOneInstrPerNode
+  module CFG = ProcCfg.Normal
   module Domain = Dom
 
   type analysis_data = Summary.t InterproceduralAnalysis.t