path: root/plugins/ltac/LtacDummy.v

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