Adapt to rocq-prover/rocq#17616 (mlg files now require DECLARE PLUGIN)

SkySkimmer · SkySkimmer · commit 4a2e7dba06b3 · 2023-05-17T12:45:37.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -3,6 +3,7 @@
 *.cmo
 *.cma
 *.cmi
+*.cmt
 *.a
 *.o
 *.cmx
diff --git a/searchdepend.mlg b/searchdepend.mlg
@@ -8,6 +8,8 @@
 (*        (see the enclosed LICENSE file for mode details)                    *)
 (*~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~*)
 
+DECLARE PLUGIN "coq-dpdgraph.plugin"
+
 {
 
 open Pp

-Original file line number
+Diff line change
 *.cmo
 *.cma
 *.cmi
 +*.cmt
 *.a
 *.o
 *.cmx
Original file line number	Diff line number	Diff line change
`@@ -8,6 +8,8 @@`
`8`	`8`	`(* (see the enclosed LICENSE file for mode details) *)`
`9`	`9`	`(~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~)`
`10`	`10`
	`11`	`+DECLARE PLUGIN "coq-dpdgraph.plugin"`
	`12`	`+`
`11`	`13`	`{`
`12`	`14`
`13`	`15`	`open Pp`