From 8311d705397cbadb6f9f033220d61772ce8782e3 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Wed, 13 Dec 2017 23:31:04 +0100
Subject: [meta] Minor linking fix.

---
 META.coq | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'META.coq')

diff --git a/META.coq b/META.coq
index 29bb13ea5..504a85ba6 100644
--- a/META.coq
+++ b/META.coq
@@ -233,7 +233,7 @@ package "API" (
   description = "Coq API"
   version     = "8.7"
 
-  requires    = "coq.stm"
+  requires    = "coq.intf, coq.stm"
   directory   = "API"
 
   archive(byte)    = "API.cma"
-- 
cgit v1.2.3