socl/src/cl_getplatformids.c: fix format

socl/src/cl_getplatformids.c

@@ -25,11 +25,11 @@ soclGetPlatformIDs(cl_uint          num_entries,
                  cl_uint *        num_platforms) CL_API_SUFFIX__VERSION_1_0
 {
    if ((num_entries == 0 && platforms != NULL)
-      || (num_platforms == NULL && platforms == NULL))
-      return CL_INVALID_VALUE;
+       || (num_platforms == NULL && platforms == NULL))
+	   return CL_INVALID_VALUE;
 
    if (starpu_opencl_worker_get_count() == 0) {
-      DEBUG_ERROR("StarPU didn't find any OpenCL device. Try disabling CUDA support in StarPU (export STARPU_NCUDA=0).")
+      DEBUG_ERROR("StarPU didn't find any OpenCL device. Try disabling CUDA support in StarPU (export STARPU_NCUDA=0).\n")
 
       if (num_platforms != NULL)
          *num_platforms = 0;