model-checker : new model-checker configuration model-check/dot_output=file_name...

[simgrid.git] / src / include / smpi / smpi_interface.h

diff --git a/src/include/smpi/smpi_interface.h b/src/include/smpi/smpi_interface.h
index 1b24074..c975477 100644 (file)
--- a/src/include/smpi/smpi_interface.h
+++ b/src/include/smpi/smpi_interface.h
@@ -1,5 +1,3 @@
-#include "smpi/smpi.h"
-
 /********** Tracing **********/
 /* from smpi_instr.c */
 void TRACE_smpi_alloc(void);