revalidate 64bit outputs

[simgrid.git] / examples / gras / ping / Makefile.in

diff --git a/examples/gras/ping/Makefile.in b/examples/gras/ping/Makefile.in
index c0e970ca72c1bbc17032d4f28907900d4b080cc0..05b69087916150f120b0079a6d8d37bd4f912990 100644 (file)
--- a/examples/gras/ping/Makefile.in
+++ b/examples/gras/ping/Makefile.in
@@ -175,7 +175,6 @@ PACKAGE_VERSION = @PACKAGE_VERSION@
 PATH_SEPARATOR = @PATH_SEPARATOR@
 PTH_STACK_GROWTH = @PTH_STACK_GROWTH@
 RANLIB = @RANLIB@
-SED = @SED@
 SET_MAKE = @SET_MAKE@
 SHELL = @SHELL@
 SIMGRID_DEP = @SIMGRID_DEP@