| commit | b65ef329e3d50741cc17d472193211a552bf432b | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 24 Nov 2006 13:43:04 +0000 (24 14:43 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 11 Dec 2006 08:36:41 +0000 (11 09:36 +0100) | ||
| tree | 188d3f586b096a098dba55b524e17ee6907967aa | treesnapshot (tar.gz zip) |
| parent | 529f4b1129efba8f8c7727e81c5f786c0b2d231b | commitdiff |
lemxin: use stable ordering of indicator_terms in partial_order sets
Also avoid using an iterator after adding elements to a map.
This should work, but apparently it doesn't.
This commit should make debugging easier.
Also avoid using an iterator after adding elements to a map.
This should work, but apparently it doesn't.
This commit should make debugging easier.
| lexmin.cc | diffblobblamehistory |