From 8f23d8d339403006d6464510c7d2cd285cf38b0a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 10 Sep 2018 10:46:09 +0200
Subject: [opam] Fix typo in build variable.

Fixes #8431
---
 ide/coqide.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/coqide.opam b/ide/coqide.opam
index 1b46efdee2..ba05b9edcf 100644
--- a/ide/coqide.opam
+++ b/ide/coqide.opam
@@ -16,4 +16,4 @@ depends: [
   "coq"
 ]
 
-build: [ [ "dune" "build" "-p" package "-j" jobs ] ]
+build: [ [ "dune" "build" "-p" name "-j" jobs ] ]
-- 
cgit v1.2.3