Tabbing

[c11tester.git] / funcinst.cc

diff --git a/funcinst.cc b/funcinst.cc
index df91edc848cb9a0417385bf0e6e78f31bcc321cd..95e93fc20e6865e90c1c67cf05e2df049458b12f 100644 (file)
--- a/funcinst.cc
+++ b/funcinst.cc
@@ -67,7 +67,7 @@ FuncInst * FuncInst::search_in_collision(ModelAction *act)
        action_type type = act->get_type();
 
        mllnode<FuncInst*> * it;
-       for (it = collisions.begin(); it != NULL; it = it->getNext()) {
+       for (it = collisions.begin();it != NULL;it = it->getNext()) {
                FuncInst * inst = it->getVal();
                if (inst->get_type() == type)
                        return inst;