Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

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

diff --git a/src/simix/simcalls_generated_case.c b/src/simix/simcalls_generated_case.c
index 01ebce1c2eb11850641e397a67f2dd1b39adf7bf..61fb5998a7fcea2969906e0c9e0565ab7874a4af 100644 (file)
--- a/src/simix/simcalls_generated_case.c
+++ b/src/simix/simcalls_generated_case.c
@@ -522,10 +522,6 @@ case SIMCALL_FILE_UNLINK:
       SIMIX_simcall_answer(simcall);
       break;  
 
-case SIMCALL_FILE_LS:
-       SIMIX_pre_file_ls(simcall ,  simcall->args[0].cc,  simcall->args[1].cc);
-       break;  
-
 case SIMCALL_FILE_GET_SIZE:
       simcall->result.sgsz = SIMIX_pre_file_get_size(simcall , (smx_file_t) simcall->args[0].dp);
       SIMIX_simcall_answer(simcall);