Generic linux runtime - tabs into spaces

resources/deployment.aadl

@@ -49,7 +49,7 @@ property set Deployment is
     ZYNQZC706_RTEMS,          -- Zynq support, for CoRA-MBAD
     ZYNQ_RTEMS_QEMU,          -- Zynq support, for CoRA-MBAD, for QEMU
     MSP430_FREERTOS,          -- MSP430 board with FreeRTOS
-	GENERIC_LINUX         -- Linux generic
+    GENERIC_LINUX         -- Linux generic
     );
   --  Supported platforms
 

src/backends/po_hi_c/ocarina-backends-po_hi_c-deployment.adb

@@ -2411,7 +2411,7 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
                     Platform_None                   |
                     Platform_RPI                    |
                     Platform_MSP430_FREERTOS        |
-					Platform_GENERIC_LINUX          |
+                    Platform_GENERIC_LINUX          |
                     Platform_LINUX32_XENOMAI_NATIVE |
                     Platform_Native_Compcert        |
                     Platform_LINUX32_XENOMAI_POSIX  |