🐛 Make latest files available in the plugin

coq-community · Dec 8, 2023 · a3dfbf9 · a3dfbf9
1 parent e220da3
commit a3dfbf9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/Trocq.v b/theories/Trocq.v
@@ -15,4 +15,4 @@ From elpi Require Export elpi.
 From HoTT Require Export HoTT.
 From Trocq Require Export
   HoTT_additions Hierarchy Param_Type Param_forall Param_arrow Database Param
-  Param_paths Vernac Common.
+  Param_paths Vernac Common Param_nat Param_trans Param_bool.