let add_logic name log_info =
  begin
    (* [VP 20110627] I don't understand the meaning of this test. If it's not
       in the table, why do we delete it? *)

    if not (Hashtbl.mem declared_logics name) then
      Hashtbl.remove declared_logics name;
    Hashtbl.add declared_logics name log_info
  end