<?php

/**
 * AREA_INTERVENCIONTable
 * 
 * This class has been auto-generated by the Doctrine ORM Framework
 */
class AREA_INTERVENCIONTable extends Doctrine_Table
{
    /**
     * Returns an instance of this class.
     *
     * @return object AREA_INTERVENCIONTable
     */
    public static function getInstance()
    {
        return Doctrine_Core::getTable('AREA_INTERVENCION');
    }
}