fix a function point in surf - Adrien

diff --git a/src/include/surf/surf.h b/src/include/surf/surf.h
index d4d9730..8ddd7fb 100644 (file)
--- a/src/include/surf/surf.h
+++ b/src/include/surf/surf.h
@@ -282,6 +282,7 @@ typedef struct surf_vm_workstation_model_extension_public {
   // start does not appear here as it corresponds to turn the state from created to running (see smx_vm.c)
    int (*get_state) (void *workstation);
   void (*set_state) (void *workstation, int state);
   // start does not appear here as it corresponds to turn the state from created to running (see smx_vm.c)
    int (*get_state) (void *workstation);
   void (*set_state) (void *workstation, int state);

+   void  (*destroy) (const char *name); // destory the vm-specific data

 } s_surf_model_extension_vm_workstation_t;
 
 /** \ingroup SURF_models
 } s_surf_model_extension_vm_workstation_t;
 
 /** \ingroup SURF_models