opam

LPCIC · Dec 10, 2024 · e2e443d · e2e443d
1 parent 069018b
commit e2e443d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)