<?php

//
require_once "../obj/dossier_instruction.class.php";

//
class dossier_contentieux extends dossier_instruction {

    function dossier_contentieux($id, &$db, $DEBUG) {
        //
        $this->dossier_instruction($id, $db, $DEBUG);
    }

}

?>
