1 files changed, 2 insertions, 2 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java
index 35f173be..5410113e 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java
@@ -47,11 +47,11 @@ public class GenerateFromConfig {
   

   private static final int SIZE_INC = 5;

   

-  private static int REPS = 1;

+  private static int REPS = 5;

   

   private static final int RUNTIME = 2100;

   

-  private static final String DOMAIN = "Taxation";

+  private static final String DOMAIN = "Satellite";

   

   private static final boolean QUERIES = true;