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)