add timers to GRAS

[simgrid.git] / include / gras.h

diff --git a/include/gras.h b/include/gras.h
index e605f71..90ae48f 100644 (file)
--- a/include/gras.h
+++ b/include/gras.h
@@ -20,5 +20,6 @@
 #include <gras/transport.h>
 #include <gras/datadesc.h>
 #include <gras/messages.h>
+#include <gras/timer.h>
 
 #endif /* GRAS_H */