Changeset b51d2c in git


Ignore:
Timestamp:
Oct 12, 2012, 4:54:01 PM (12 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '45e267b9942dec9429fe249ce3e5e44ab80a6a3a')
Children:
32cb7abb6be173de1a4100da7c33149f547b752f
Parents:
e2c21a2830ff139bc7175101732d2b833c240e49
Message:
fix: interred (tr. #456, master) qring+redSB
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/kstd1.cc

    re2c21a rb51d2c  
    27432743    idDelete(&FF);
    27442744    null=idInit(1,1);
    2745     res1=kNF(null,Q,res);
     2745    if (need_retry)
     2746      res1=kNF(null,Q,res,0,KSTD_NF_LAZY);
     2747    else
     2748      res1=kNF(null,Q,res);
    27462749    idDelete(&res);
    27472750    res=res1;
    2748   }
     2751    need_retry=1;
     2752  }
     2753  if (idElem(res)<=1) need_retry=0;
    27492754  while (need_retry && (counter>0))
    27502755  {
     
    27572762    elems = new_elems;
    27582763    idDelete(&res);
     2764    if (idElem(res1)<=1) need_retry=0;
    27592765    if ((Q!=NULL) && (TEST_OPT_REDSB))
    27602766    {
    2761       res=kNF(null,Q,res1);
     2767      if (need_retry)
     2768        res=kNF(null,Q,res1,0,KSTD_NF_LAZY);
     2769      else
     2770        res=kNF(null,Q,res1);
    27622771      idDelete(&res1);
    27632772    }
    27642773    else
    27652774      res = res1;
     2775    if (idElem(res)<=1) need_retry=0;
    27662776  }
    27672777  if (null!=NULL) idDelete(&null);
Note: See TracChangeset for help on using the changeset viewer.