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