model-checker : sorting of visited states according to chunks used

[simgrid.git] / src / surf / surfxml_parse.c

diff --git a/src/surf/surfxml_parse.c b/src/surf/surfxml_parse.c
index 41d8386c77542919a8fd2152a294694069c9b469..2c03573f2b70972c5276d1bc2ddd2b85a43ee658 100644 (file)
--- a/src/surf/surfxml_parse.c
+++ b/src/surf/surfxml_parse.c
@@ -672,7 +672,7 @@ void STag_surfxml_trace___connect(void){
     trace_connect.kind =  SURF_TRACE_CONNECT_KIND_LINK_AVAIL;
     break;
   }
     trace_connect.kind =  SURF_TRACE_CONNECT_KIND_LINK_AVAIL;
     break;
   }

-  sg_platf_new_trace_connect(&trace_connect);
+  sg_platf_trace_connect(&trace_connect);

 }
 
 void STag_surfxml_AS(void){
 }
 
 void STag_surfxml_AS(void){