diff --git a/rr_frontend/output/minivec_patched/dune b/rr_frontend/output/minivec_patched/dune
index 232afdf8cbc15a768c55a14ecdfd0a36d7b443b4..a82ef207bf327ebf3a061fcb3031cfb22aa3789e 100644
--- a/rr_frontend/output/minivec_patched/dune
+++ b/rr_frontend/output/minivec_patched/dune
@@ -2,4 +2,4 @@
 (coq.theory
 (flags -w -notation-overridden -w -redundant-canonical-projection)
 (name refinedrust.examples.minivec_patched)
-(theories caesium lithium refinedrust))
+(theories stdpp iris Ltac2 Equations RecordUpdate lrust caesium lithium refinedrust))