typo

src/core/disk_ops/disk_hdf5.c

@@ -501,7 +501,7 @@ static void starpu_hdf5_unplug(void *base)
 		HDF5_VAR_RUN = 0;
 		STARPU_PTHREAD_COND_BROADCAST(&HDF5_VAR_COND);
 		STARPU_PTHREAD_COND_WAIT(&HDF5_VAR_COND, &HDF5_VAR_MUTEX);
-		STARPU_ASSERT(_starpu_hdf5_work_list_empty(&HDF5_VAR_WORK_LIST);
+		STARPU_ASSERT(_starpu_hdf5_work_list_empty(&HDF5_VAR_WORK_LIST));
 		HDF5_VAR_WORK_LIST = NULL;
 		/* the internal thread is deleted */
 #ifndef H5_HAVE_THREADSAFE