X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1f9e1424e8bfd8214561ba0675276f91ebc308c2..702d6d0fe6771c35145c22266e0271c0c7daf0b7:/src/simdag/sd_workstation.c?ds=sidebyside

diff --git a/src/simdag/sd_workstation.c b/src/simdag/sd_workstation.c
index 4ae419a10e..5c25338872 100644
--- a/src/simdag/sd_workstation.c
+++ b/src/simdag/sd_workstation.c
@@ -8,6 +8,7 @@
  */
 SD_workstation_t __SD_workstation_create(void *surf_workstation, void *data) {
   CHECK_INIT_DONE();
+  xbt_assert0(surf_workstation != NULL, "surf_workstation is NULL !");
 
   SD_workstation_data_t sd_data = xbt_new0(s_SD_workstation_data_t, 1); /* workstation private data */
   sd_data->surf_workstation = surf_workstation;