This time, hopefully, the files are in valid version 2 of the DTD

[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 43817adf71214924c1af809c591f6845405f3c91..ef6a61fd2217a6aef689518ce07d7ea09c90b15c 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[]) {