--- trunk/tntnet/dynamic/critical.ecpp	2007/12/02 19:42:32	125
+++ trunk/tntnet/dynamic/critical.ecpp	2007/12/02 20:26:43	126
@@ -41,7 +41,7 @@
 
 std::ostream& out = reply.out();
 
-for (int i=0; i<inst_res.size(); i++)
+for (unsigned i=0; i<inst_res.size(); i++)
 {
 	int id = inst_res[i].getInt(2);
 	st.clear();