-
Andrei Paskevich authored
Also, remove the optional [warn] argument of Theory.add_decl: clients should use appropriate labels to suppress warnings.
cb07f364
Also, remove the optional [warn] argument of Theory.add_decl: clients should use appropriate labels to suppress warnings.