fix typecheck error in microbitv2

OpenRoberta · Aug 20, 2024 · d5787a3 · d5787a3
1 parent e457cd1
commit d5787a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/RobotMbed/src/main/java/de/fhg/iais/roberta/visitor/validate/MicrobitV2TypecheckVisitor.java b/RobotMbed/src/main/java/de/fhg/iais/roberta/visitor/validate/MicrobitV2TypecheckVisitor.java
@@ -215,6 +215,6 @@ public BlocklyType visitToneAction(ToneAction toneAction) {
 
     @Override
     public BlocklyType visitPlayNoteAction(PlayNoteAction playNoteAction) {
-        return Sig.of(BlocklyType.NUMBER).typeCheckPhrases(playNoteAction, this);
+        return Sig.of(BlocklyType.VOID).typeCheckPhrases(playNoteAction, this);
     }
 }