From 441806f22b1b13fb68abe509f6a87a4f78c02f5e Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 17 Oct 2018 01:55:08 +0200
Subject: [dune] [plugins] Fix plugin name ground -> firstorder

This is needed for compatibility with directory-listing
infrastructure.
---
 plugins/firstorder/plugin_base.dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins')

diff --git a/plugins/firstorder/plugin_base.dune b/plugins/firstorder/plugin_base.dune
index bcbb99d9fc..d88daa23fc 100644
--- a/plugins/firstorder/plugin_base.dune
+++ b/plugins/firstorder/plugin_base.dune
@@ -1,5 +1,5 @@
 (library
  (name ground_plugin)
- (public_name coq.plugins.ground)
+ (public_name coq.plugins.firstorder)
  (synopsis "Coq's first order logic solver plugin")
  (libraries coq.plugins.ltac))
-- 
cgit v1.2.3