/** Internal ids satlib includes in dependencies.
* MPL check in PoolImpl.cc
*/
- static const IdType solvablePrereqMarker( 16 );
- static const IdType solvableFileMarker ( 17 );
+ static const IdType solvablePrereqMarker( 15 );
+ static const IdType solvableFileMarker ( 16 );
/** Test for internal ids satlib includes in dependencies. */
inline bool isDepMarkerId( IdType id_r )
{ return( id_r == solvablePrereqMarker || id_r == solvableFileMarker ); }
*/
typedef unsigned SolvableIdType;
typedef SolvableIdType size_type;
- /** Id to denote \ref Solvable::noSolvable. */
+ /** Id to denote \ref Solvable::noSolvable. */
static const SolvableIdType noSolvableId( 0 );
- /** Id to denote the usually hidden \ref Solvable::systemSolvable. */
+ /** Id to denote the usually hidden \ref Solvable::systemSolvable. */
static const SolvableIdType systemSolvableId( 1 );
/** Id type to connect \ref Repo and sat-repo. */