<?php

/**
 * Used to indicate  a primary key index - ie, a set of fields which, when used in combination,
 * also uniquely identify a model object in the database (in case there is no primary key field).
 */
class EE_Primary_Key_Index extends EE_Unique_Index
{
    // yep, actually the same as unique index right now
}
