include/starpu_openmp.h: fix typesetting

include/starpu_openmp.h

@@ -122,22 +122,22 @@ extern void starpu_omp_set_num_threads(int threads) __STARPU_OMP_NOTHROW;
 extern int starpu_omp_get_num_threads() __STARPU_OMP_NOTHROW;
 extern int starpu_omp_get_thread_num() __STARPU_OMP_NOTHROW;
 extern int starpu_omp_get_max_threads() __STARPU_OMP_NOTHROW;
-extern int starpu_omp_get_num_procs (void) __STARPU_OMP_NOTHROW;
-extern int starpu_omp_in_parallel (void) __STARPU_OMP_NOTHROW;
-extern void starpu_omp_set_dynamic (int dynamic_threads) __STARPU_OMP_NOTHROW;
-extern int starpu_omp_get_dynamic (void) __STARPU_OMP_NOTHROW;
-extern void starpu_omp_set_nested (int nested) __STARPU_OMP_NOTHROW;
-extern int starpu_omp_get_nested (void) __STARPU_OMP_NOTHROW;
+extern int starpu_omp_get_num_procs(void) __STARPU_OMP_NOTHROW;
+extern int starpu_omp_in_parallel(void) __STARPU_OMP_NOTHROW;
+extern void starpu_omp_set_dynamic(int dynamic_threads) __STARPU_OMP_NOTHROW;
+extern int starpu_omp_get_dynamic(void) __STARPU_OMP_NOTHROW;
+extern void starpu_omp_set_nested(int nested) __STARPU_OMP_NOTHROW;
+extern int starpu_omp_get_nested(void) __STARPU_OMP_NOTHROW;
 extern int starpu_omp_get_cancellation(void) __STARPU_OMP_NOTHROW;
-extern void starpu_omp_set_schedule (enum starpu_omp_sched_value kind, int modifier) __STARPU_OMP_NOTHROW;
-extern void starpu_omp_get_schedule (enum starpu_omp_sched_value *kind, int *modifier) __STARPU_OMP_NOTHROW;
-extern int starpu_omp_get_thread_limit (void) __STARPU_OMP_NOTHROW;
-extern void starpu_omp_set_max_active_levels (int max_levels) __STARPU_OMP_NOTHROW;
-extern int starpu_omp_get_max_active_levels (void) __STARPU_OMP_NOTHROW;
-extern int starpu_omp_get_level (void) __STARPU_OMP_NOTHROW;
-extern int starpu_omp_get_ancestor_thread_num (int level) __STARPU_OMP_NOTHROW;
-extern int starpu_omp_get_team_size (int level) __STARPU_OMP_NOTHROW;
-extern int starpu_omp_get_active_level (void) __STARPU_OMP_NOTHROW;
+extern void starpu_omp_set_schedule(enum starpu_omp_sched_value kind, int modifier) __STARPU_OMP_NOTHROW;
+extern void starpu_omp_get_schedule(enum starpu_omp_sched_value *kind, int *modifier) __STARPU_OMP_NOTHROW;
+extern int starpu_omp_get_thread_limit(void) __STARPU_OMP_NOTHROW;
+extern void starpu_omp_set_max_active_levels(int max_levels) __STARPU_OMP_NOTHROW;
+extern int starpu_omp_get_max_active_levels(void) __STARPU_OMP_NOTHROW;
+extern int starpu_omp_get_level(void) __STARPU_OMP_NOTHROW;
+extern int starpu_omp_get_ancestor_thread_num(int level) __STARPU_OMP_NOTHROW;
+extern int starpu_omp_get_team_size(int level) __STARPU_OMP_NOTHROW;
+extern int starpu_omp_get_active_level(void) __STARPU_OMP_NOTHROW;
 extern int starpu_omp_in_final(void) __STARPU_OMP_NOTHROW;
 extern enum starpu_omp_proc_bind_value starpu_omp_get_proc_bind(void) __STARPU_OMP_NOTHROW;
 extern void starpu_omp_set_default_device(int device_num) __STARPU_OMP_NOTHROW;