fix double brace

diff --git a/src/simix/smx_user.c b/src/simix/smx_user.c
index 6743b04..c6fd007 100644 (file)
--- a/src/simix/smx_user.c
+++ b/src/simix/smx_user.c
@@ -286,7 +286,7 @@ void* simcall_vm_ws_create(const char *name, smx_host_t phys_host){
   return simcall_BODY_vm_ws_create(name, phys_host);
 }
 
-void simcall_vm_start(smx_host_t vm) {
+void simcall_vm_start(smx_host_t vm)
 {
   simcall_BODY_set_vm_state(vm, msg_vm_state_running);
 }