<?php

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

//
class dossier_instruction_tous_encours extends dossier_instruction {

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

}

?>