From e2e443dd0e2b31f84d3c7952a5cde06f796627e7 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Tue, 10 Dec 2024 16:46:11 +0100
Subject: [PATCH] opam

---
 tests/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/dune b/tests/dune
index 7c9f90aac..30e962112 100644
--- a/tests/dune
+++ b/tests/dune
@@ -1,7 +1,7 @@
 (coq.theory
  (name elpi.tests)
  (plugins coq-elpi.elpi)
- (theories elpi))
+ (theories elpi elpi_elpi))
 
 (include_subdirs qualified)