Continue documenting my changes

[simgrid.git] / include / Makefile.in

diff --git a/include/Makefile.in b/include/Makefile.in
index e384679..de1d575 100644 (file)
--- a/include/Makefile.in
+++ b/include/Makefile.in
@@ -157,8 +157,6 @@ SIMGRID_DEP = @SIMGRID_DEP@
 STRIP = @STRIP@
 USE_GTNETS_FALSE = @USE_GTNETS_FALSE@
 USE_GTNETS_TRUE = @USE_GTNETS_TRUE@
-USE_SIMIX_FALSE = @USE_SIMIX_FALSE@
-USE_SIMIX_TRUE = @USE_SIMIX_TRUE@
 VERSION = @VERSION@
 WARNING = @WARNING@
 abs_builddir = @abs_builddir@
@@ -223,6 +221,7 @@ include_HEADERS = gras.h xbt.h
 nobase_include_HEADERS = \
        xbt/misc.h \
        xbt/sysdep.h \
+       xbt/virtu.h \
        xbt/str.h \
        xbt/function_types.h \
        xbt/asserts.h xbt/ex.h \