Changeset 2ce53d in git for kernel/kutil.h

Timestamp:

Dec 29, 2013, 7:03:38 PM (10 years ago)

Author:

Christian Eder

Branches:

(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')

Children:

cd5b0fe0695b0fbe98f020435d935066ea3a5e8a

Parents:

e86e21bda42dff533a74d4741008e9bde372d619

Message:

sba returns SB minimal possible without adding too much overhead

File:

• kernel/kutil.h (modified) (1 diff)

kernel/kutil.h

@@ -180 +180 @@
 public:
   unsigned long sev;
-  unsigned long from; // index in sig up to which the correspongin LObject was already checked
   unsigned long checked; // this is the index of S up to which
                       // the corresponding LObject was already checked in