add type-in-type to dune

benediktahrens · benediktahrens · commit 7cdfe0dba0ab · 2024-08-20T08:02:40.000+02:00
diff --git a/TypeTheory/dune b/TypeTheory/dune
@@ -3,5 +3,5 @@
 
 (coq.theory
   (name TypeTheory)
-  (flags -noinit -indices-matter -w none)
+  (flags -noinit -indices-matter -type-in-type -w none)
   (theories UniMath))
