[coq] Use findlib name in DECLARE PLUGIN

After some stronger invariant upstream, the name here has to match the name used in `Declare ML Module`.
coq-community · May 31, 2022 · 2f8e198 · 2f8e198
1 parent fb0e7bd
commit 2f8e198
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/abstraction.mlg b/src/abstraction.mlg
@@ -12,7 +12,7 @@
 
 }
 
-DECLARE PLUGIN "parametricity"
+DECLARE PLUGIN "coq-paramcoq.plugin"
 
 {
 open Ltac_plugin