devtools/fill.py
branchstable
changeset 3673 9342e6783bd2
parent 3541 63ba0a669c4f
child 3689 deb13e88e037
--- a/devtools/fill.py	Thu Oct 15 10:13:52 2009 +0200
+++ b/devtools/fill.py	Thu Oct 15 10:25:21 2009 +0200
@@ -404,12 +404,14 @@
             for subjeid, objeid in used:
                 if subjcard in '?1' and subjeid in subjeids:
                     subjeids.remove(subjeid)
-                    if objeid in objeids:
-                        objeids.remove(objeid)
+                    # XXX why?
+                    #if objeid in objeids:
+                    #    objeids.remove(objeid)
                 if objcard in '?1' and objeid in objeids:
                     objeids.remove(objeid)
-                    if subjeid in subjeids:
-                        subjeids.remove(subjeid)
+                    # XXX why?
+                    #if subjeid in subjeids:
+                    #    subjeids.remove(subjeid)
         if not subjeids:
             check_card_satisfied(objcard, objeids, subj, rschema, obj)
             return