Regenerate yet another time the Makefile.in

[simgrid.git] / tools / Makefile.in

diff --git a/tools/Makefile.in b/tools/Makefile.in
index 5ba6289..c4bbeb7 100644 (file)
--- a/tools/Makefile.in
+++ b/tools/Makefile.in
@@ -139,7 +139,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@