remove single-thread check (again)

lf-lang · May 25, 2024 · 2de8269 · 2de8269
1 parent d87e426
commit 2de8269
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/core/src/main/java/org/lflang/target/property/PlatformProperty.java b/core/src/main/java/org/lflang/target/property/PlatformProperty.java
@@ -115,9 +115,6 @@ protected PlatformOptions fromString(String string, MessageReporter reporter) {
   public void validate(TargetConfig config, MessageReporter reporter) {
     var platform = config.get(PlatformProperty.INSTANCE).platform;
     switch (platform) {
-      case RP2040:
-        validateRP2040(config, reporter);
-        break;
       case FLEXPRET:
         validateFlexPRET(config, reporter);
         break;
@@ -129,15 +126,6 @@ public void validate(TargetConfig config, MessageReporter reporter) {
     }
   }
 
-  private void validateRP2040(TargetConfig config, MessageReporter reporter) {
-    var singleThreaded = config.get(SingleThreadedProperty.INSTANCE);
-    if (!singleThreaded) {
-      reporter
-          .at(config.lookup(this), Literals.KEY_VALUE_PAIR__VALUE)
-          .error("Platform " + Platform.RP2040 + " does not support threading.");
-    }
-  }
-
   private void validateFlexPRET(TargetConfig config, MessageReporter reporter) {
     var platform = config.get(PlatformProperty.INSTANCE);
     var board = platform.board();