(* The sole reason of this file is to trick coq's build system to build the dummy ltac plugin *)
Declare ML Module "ltac_plugin".