Changeset 776bf3e in git for kernel/fast_maps.cc

Timestamp:

Nov 26, 2009, 11:41:10 AM (14 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

bca575c0e7971f5cb0f19c1fda4b4ff3b441a73a

Parents:

6d0c34789bdabdaacd82a5c41c3c7fca1d2eb99e

Message:

*hannes: debug stuff

git-svn-id: file:///usr/local/Singular/svn/trunk@12326 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/fast_maps.cc (modified) (1 diff)

kernel/fast_maps.cc

@@ -710 +710 @@
       if (choice!=NULL)
       {
+        assume(iter->f1==NULL);
+        assume(iter->f2==NULL);
         iter->f1=fp;
         iter->f2=ggT;