@@ -57,7 +57,7 @@ int EventSet = PAPI_NULL;
/*This is where we store the values we read from the eventset */
static long long *values;
-double t1;
+static double t1;
int starpu_energy_start()
{