From 42595be9a4d89aa36007da8c85a1882bbef9452a Mon Sep 17 00:00:00 2001
From: Mario Pesch <mario.pesch@uni-muenster.de>
Date: Mon, 31 Jan 2022 16:57:54 +0100
Subject: [PATCH] Update sensebox-sensors.js

---
 src/components/Blockly/generator/sensebox-sensors.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/components/Blockly/generator/sensebox-sensors.js b/src/components/Blockly/generator/sensebox-sensors.js
index 425653e..8058b8a 100644
--- a/src/components/Blockly/generator/sensebox-sensors.js
+++ b/src/components/Blockly/generator/sensebox-sensors.js
@@ -332,7 +332,7 @@ Blockly.Arduino.sensebox_sensor_ultrasonic_ranger = function () {
   `;
   Blockly.Arduino.definitions_[
     "define_newPing" + port
-  ] = `NewPing sonar${port}(TRIGGER_PIN_${port}, ECHO_PIN_${port}, MAX_DISTANCE_${port})`;
+  ] = `NewPing sonar${port}(TRIGGER_PIN_${port}, ECHO_PIN_${port}, MAX_DISTANCE_${port});`;
   var code;
   code = `sonar${port}.ping_cm()`;
   return [code, Blockly.Arduino.ORDER_ATOMIC];