Commits

Shlomi Fish committed ccffdfa

Changed the check in the soft_dfs loop to while (1): it's done elsewhere.

The check already exists in the --DEPTH() so no need for it in the loop
itself.

git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2943 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a

Comments (0)

Files changed (1)

fc-solve/source/scans.c

 
     /*
         The main loop.
+        We exit out of it when DEPTH() is decremented below zero.
     */
-    while (likely(DEPTH() >= 0))
+    while (1)
     {
         /*
             Increase the "maximal" depth if it is about to be exceeded.