Merge pull request #97 from ejgallego/mltop_fix

[coq] Use findlib name in DECLARE PLUGIN
coq-community · May 25, 2022 · 07e18b9 · 07e18b9
2 parents 6542e2e + 9ca3762
commit 07e18b9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -15,7 +15,7 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:dev'
+          - 'coqorg/coq:dev-ocaml-4.13-flambda'
       fail-fast: false
     steps:
       - uses: actions/checkout@v2

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
-Original file line number
+Diff line change
@@ Expand Up / @@ -12,7 +12,7 @@ @@
     }
-    DECLARE PLUGIN "parametricity"
+    DECLARE PLUGIN "coq-paramcoq.plugin"
     {
     open Ltac_plugin
@@ Expand Down @@