fix

affeldt-aist · Jan 3, 2023 · 875daef · 875daef
1 parent e61b716
commit 875daef
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/impredicative_set/_CoqProject b/impredicative_set/_CoqProject
@@ -20,4 +20,3 @@ iparametricity_codensity.v
 iexample_transformer.v
 
 -R . monaeImpredicativeSet
--R ../../infotheo infotheo