diff --git a/org.lflang/src/org/lflang/federated/generator/FedGenerator.java b/org.lflang/src/org/lflang/federated/generator/FedGenerator.java
index a96c1d17a2..df84bc343c 100644
--- a/org.lflang/src/org/lflang/federated/generator/FedGenerator.java
+++ b/org.lflang/src/org/lflang/federated/generator/FedGenerator.java
@@ -244,6 +244,7 @@ public void createLauncher(
         } else {
             launcher = FedLauncherFactory.getLauncher(
                 federates.get(0), // FIXME: This would not work for mixed-target programs.
+                targetConfig,
                 fileConfig,
                 errorReporter
             );
diff --git a/org.lflang/src/org/lflang/federated/launcher/FedLauncherFactory.java b/org.lflang/src/org/lflang/federated/launcher/FedLauncherFactory.java
index c92cea1807..641ca7c71d 100644
--- a/org.lflang/src/org/lflang/federated/launcher/FedLauncherFactory.java
+++ b/org.lflang/src/org/lflang/federated/launcher/FedLauncherFactory.java
@@ -15,10 +15,11 @@ public class FedLauncherFactory {
 
     public static FedLauncher getLauncher (
         FederateInstance federate,
+        TargetConfig targetConfig,
         FedFileConfig fileConfig,
         ErrorReporter errorReporter
     ) {
-        return getLauncher(Target.fromDecl(federate.target), federate.targetConfig, fileConfig, errorReporter);
+        return getLauncher(Target.fromDecl(federate.target), targetConfig, fileConfig, errorReporter);
     }
 
     /**