format changes

Author: inesmaria08

libtock-sync/interface/servo.c

@@ -7,4 +7,4 @@ returncode_t libtocksync_servo_angle(uint32_t angle) {
   if (err != RETURNCODE_SUCCESS) return err;
 
   return RETURNCODE_SUCCESS;
-}
+}

libtock-sync/interface/servo.h

@@ -7,7 +7,7 @@ extern "C" {
 
 // ## Arguments
 //
-// - `angle`: The angle you want the servo to move.
+// - `angle`: The angle in degrees you want the servo to move.
 //
 // ## Return Value
 //

libtock/interface/syscalls/servo_syscalls.c

@@ -8,4 +8,4 @@ bool libtock_servo_exists(void) {
 returncode_t libtock_servo_angle(uint32_t angle) {
   syscall_return_t cval = command(DRIVER_NUM_SERVO, 1, angle, 0);
   return tock_command_return_novalue_to_returncode(cval);
-}
+}