dry

RipplB · Apr 16, 2024 · fc1e1fe · fc1e1fe
1 parent f041d8b
commit fc1e1fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...cfa/cfa-analysis/src/main/java/hu/bme/mit/theta/cfa/analysis/config/CfaConfigBuilder.java b/...cfa/cfa-analysis/src/main/java/hu/bme/mit/theta/cfa/analysis/config/CfaConfigBuilder.java
@@ -452,7 +452,7 @@ public CfaConfig<CfaState<S>, CfaAction, CfaPrec<P>> buildConfig(CFA.Loc errLoc)
             final Predicate<CfaState<S>> target = new CfaErrorlocPredicate<>(errLoc);
             final Analysis<CfaState<S>, CfaAction, CfaPrec<P>> analysis = getAnalysis();
             final ArgBuilder<CfaState<S>, CfaAction, CfaPrec<P>> argBuilder = ArgBuilder.create(
-                    encoding.getLts(errLoc), analysis, target,
+                    getLts(errLoc), analysis, target,
                     true);
             final Abstractor<CfaState<S>, CfaAction, CfaPrec<P>> abstractor = BasicAbstractor.builder(
                             argBuilder)