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 0f14211..d409da2 100644 (file)
--- a/src/simix/simcalls_generated_string.c
+++ b/src/simix/simcalls_generated_string.c
@@ -112,7 +112,6 @@
 [SIMCALL_FILE_OPEN] = "SIMCALL_FILE_OPEN",
 [SIMCALL_FILE_CLOSE] = "SIMCALL_FILE_CLOSE",
 [SIMCALL_FILE_UNLINK] = "SIMCALL_FILE_UNLINK",
-[SIMCALL_FILE_LS] = "SIMCALL_FILE_LS",
 [SIMCALL_FILE_GET_SIZE] = "SIMCALL_FILE_GET_SIZE",
 [SIMCALL_FILE_TELL] = "SIMCALL_FILE_TELL",
 [SIMCALL_FILE_SEEK] = "SIMCALL_FILE_SEEK",