From 27539f205893ee736c408fdfce7aa4c33b1678c9 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Tue, 9 Jan 2018 23:07:05 +0100
Subject: [meta] Fix typo on Coq's META file following #6444.

---
 META.coq | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'META.coq')

diff --git a/META.coq b/META.coq
index 76d5b4147..f7998db8e 100644
--- a/META.coq
+++ b/META.coq
@@ -43,8 +43,8 @@ package "lib" (
 
   requires    = "coq.clib, coq.config"
 
-  archive(byte)   += "lib.cma"
-  archive(native) += "lib.cmxa"
+  archive(byte)   = "lib.cma"
+  archive(native) = "lib.cmxa"
 
 )
 
-- 
cgit v1.2.3