Merge pull request #247 from benediktahrens/type-intype

benediktahrens · web-flow · commit 1d2b8b02316b · 2024-08-20T08:04:56.000+02:00
add type-in-type to dune
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))
