Regenerate the output captures of the gras tutorial after the numerous timing changes...

[simgrid.git] / doc / gtut-files / 03-args.c

diff --git a/doc/gtut-files/03-args.c b/doc/gtut-files/03-args.c
index 43817ad..ef6a61f 100644 (file)
--- a/doc/gtut-files/03-args.c
+++ b/doc/gtut-files/03-args.c
@@ -1,3 +1,4 @@
+#include <stdio.h>
 #include <gras.h>
 
 int server(int argc, char *argv[]) {