Merge pull request #118 from SkySkimmer/elpi-backtrack

coq-community · May 17, 2023 · 8b42915 · 8b42915
2 parents f31aa21 + 4a2e7db
commit 8b42915
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
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
@@ Expand Up / @@ -3,6 +3,7 @@ @@
     *.cmo
     *.cma
     *.cmi
+    *.cmt
     *.a
     *.o
     *.cmx
@@ Expand Down @@