model-checker : privatization_regions in snapshot may be NULL

[simgrid.git] / src / simix / simcalls_generated_string.c

diff --git a/src/simix/simcalls_generated_string.c b/src/simix/simcalls_generated_string.c
index c75900e..d409da2 100644 (file)
--- a/src/simix/simcalls_generated_string.c
+++ b/src/simix/simcalls_generated_string.c
@@ -117,7 +117,6 @@
 [SIMCALL_FILE_SEEK] = "SIMCALL_FILE_SEEK",
 [SIMCALL_FILE_GET_INFO] = "SIMCALL_FILE_GET_INFO",
 [SIMCALL_FILE_MOVE] = "SIMCALL_FILE_MOVE",
-[SIMCALL_FILE_RCOPY] = "SIMCALL_FILE_RCOPY",
 [SIMCALL_STORAGE_GET_FREE_SIZE] = "SIMCALL_STORAGE_GET_FREE_SIZE",
 [SIMCALL_STORAGE_GET_USED_SIZE] = "SIMCALL_STORAGE_GET_USED_SIZE",
 [SIMCALL_STORAGE_GET_PROPERTIES] = "SIMCALL_STORAGE_GET_PROPERTIES",