Rework the doc of model-check/replay, and add an example with sthread

[simgrid.git] / examples / smpi / NAS / dt.c

diff --git a/examples/smpi/NAS/dt.c b/examples/smpi/NAS/dt.c
index f1b63e054fcf4e569d921bd7d0ba0b765e3c744c..5a363cdcc4b4a4903a6e45bb36ef914f05b21e85 100644 (file)
--- a/examples/smpi/NAS/dt.c
+++ b/examples/smpi/NAS/dt.c
@@ -666,14 +666,14 @@ int main(int argc,char **argv ){
     dg=buildBH(class);
   }else if(strncmp(argv[3],"WH",2)==0){
     dg=buildWH(class);
-  }else if(strncmp(argv[3],"SH",2)==0){
+  }else /* (strncmp(argv[3],"SH",2)==0) */ {
     dg=buildSH(class);
   }
 
   if(timer_on != 0 && dg->numNodes+1>timers_tot){
     timer_on=0;
     if(my_rank==0)
-    fprintf(stderr,"Not enough timers. Node timeing is off. \n");
+    fprintf(stderr,"Not enough timers. Node timing is off. \n");
   }
   if(dg->numNodes && dg->numNodes>comm_size){
     if(my_rank==0){