add file on rel monads to build

UniMath · May 10, 2017 · 4fc9f09 · 4fc9f09
1 parent f8e3a61
commit 4fc9f09
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/UniMath/CategoryTheory/.package/files b/UniMath/CategoryTheory/.package/files
@@ -1,6 +1,7 @@
 total2_paths.v
 Categories.v
 functor_categories.v
+RelativeMonads.v
 opp_precat.v
 PrecategoryBinProduct.v
 ProductCategory.v