From b9f7679a9cc888f0beedd88cf066c1d87ecb5191 Mon Sep 17 00:00:00 2001 From: alebre Date: Thu, 31 Jan 2013 17:09:10 +0100 Subject: [PATCH] fix a function point in surf - Adrien --- src/include/surf/surf.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/include/surf/surf.h b/src/include/surf/surf.h index d4d9730dea..8ddd7fbc12 100644 --- 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); + void (*destroy) (const char *name); // destory the vm-specific data } s_surf_model_extension_vm_workstation_t; /** \ingroup SURF_models -- 2.20.1