Fix tracing options so that they appear in targetConfig

lf-lang · Mar 12, 2023 · f377998 · f377998
1 parent b0e3a70
commit f377998
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git 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
@@ -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);
     }
 
     /**