diff --git a/src/abstraction.mlg b/src/abstraction.mlg
index 9e4c369..e1fe490 100644
--- a/src/abstraction.mlg
+++ b/src/abstraction.mlg
@@ -12,7 +12,7 @@
 
 }
 
-DECLARE PLUGIN "parametricity"
+DECLARE PLUGIN "coq-paramcoq.plugin"
 
 {
 open Ltac_plugin