Changeset 844dcf in git for factory/cfCharSets.cc

Timestamp:

May 2, 2014, 10:50:24 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

320ca656a049b44638dd1949fd1b8982a1226531

Parents:

09cb7e1d71544af197eb9d4879a9265419b94871

git-author:

Martin Lee <martinlee84@web.de>2014-05-02 22:50:24+02:00

git-committer:

Martin Lee <martinlee84@web.de>2014-05-12 14:35:02+02:00

Message:

fix: need the removed factors

File:

• factory/cfCharSets.cc (modified) (3 diffs)

factory/cfCharSets.cc

@@ -1499 +1499 @@
   ListCFList pi, ppi, qqi, qsi, iss, qhi= ListCFList(PS);
 
-  StoreFactors StoredFactors;
-
   int nr_of_iteration= 0, indexRed, highestlevel= 0;
 
@@ -1531 +1529 @@
     }
 
+    StoreFactors StoredFactors;
     cs= charSetViaModCharSet (qs, StoredFactors);
 
     //cs = removeContent (cs, StoredFactors); //do I really need it
-    factorset= StoredFactors.FS2;
+    factorset= StoredFactors.FS1;
 
     if (cs.getFirst().level() > 0)
@@ -1579 +1578 @@
               break;
             else 
-              cst.append(i.getItem());
+              cst.append (i.getItem());
           }
           is= Union (factorsOfInitials (cst), is);