From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Thu, 25 Oct 2007 18:27:49 +0000 (+0000)
Subject: Tiny improvement of the search speed
X-Git-Tag: v3.3~928
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/29189eaaec0832afd90a05c0672a2c72ccb3cc4e?ds=sidebyside

Tiny improvement of the search speed

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@4873 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index 51290f0cb3..b5c77d19f8 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -358,6 +358,7 @@ double SIMIX_solve(xbt_fifo_t actions_done, xbt_fifo_t actions_failed)
 	  || xbt_swag_size(model->common_public->states.
 			   done_action_set)) {
 	state_modifications = 1;
+	 break;
       }
     }