diff --git a/src/scheduler.c b/src/scheduler.c
index b2466d55104dbb68d7efed008af1290c4fd73212..32ff8492e718f408a41de1f7a08e7d55141a9c21 100644
--- a/src/scheduler.c
+++ b/src/scheduler.c
@@ -1596,6 +1596,7 @@ void scheduler_print_tasks(const struct scheduler *s, const char *fileName) {
 
   const int nr_tasks = s->nr_tasks, *tid = s->tasks_ind;
   struct task *t, *tasks = s->tasks;
+  int test_type;
 
   FILE *file = fopen(fileName, "w");
 
@@ -1603,7 +1604,8 @@ void scheduler_print_tasks(const struct scheduler *s, const char *fileName) {
 
   for (int k = nr_tasks - 1; k >= 0; k--) {
     t = &tasks[tid[k]];
-    if (!((1 << t->type)) || t->skip) continue;
+    test_type = 1 << t->type;
+    if (!(test_type) || t->skip) continue;
     fprintf(file, "%d %s %s %d %d\n", k, taskID_names[t->type],
             subtaskID_names[t->subtype], t->nr_unlock_tasks, t->wait);
   }