Merge branch 'master' of https://forgemia.inra.fr/pierre.montalbano/lintoulbar2

src/core/tb2vac.cpp

@@ -1001,9 +1001,7 @@ bool VACExtension::enforcePass3()
             queueFindSupport.push(j);
             if (ToulBar2::LcLevel == LC_AC) {
                 xj->queueAC();
-                xi->queueNC();
             } else {
-                xi->queueNC();
                 xj->queueDAC();
                 xj->queueAC();
                 xj->queueEAC1();
@@ -1036,10 +1034,8 @@ bool VACExtension::enforcePass3()
                 findsupp = false;
             }
             if (ToulBar2::LcLevel == LC_AC) {
-                xi->queueNC();
                 xi->queueAC();
             } else {
-                xi->queueNC();
                 xi->queueAC();
                 xi->queueEAC1();
                 xi->queueDAC();
@@ -1048,6 +1044,7 @@ bool VACExtension::enforcePass3()
         for (int l = 0; l < (int)PBkillersctr.size(); ++l) {
             xi = (VACVariable*)wcsp->getVar(PBkillersctr[l].first);
             xi->findSupport();
+            xi->propagateNC();
         }
     }
     while (!queueFindSupport.empty()) {