From 9a27c6af5a65b114555be4ada8b357d36f88d8d0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= <fhi.1990@gmail.com>
Date: Wed, 31 Jan 2018 14:47:20 +0100
Subject: [PATCH] Add comment to agda-lib

---
 cat.agda-lib | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cat.agda-lib b/cat.agda-lib
index b0d67b6..fa6c713 100644
--- a/cat.agda-lib
+++ b/cat.agda-lib
@@ -7,3 +7,6 @@ depend:
   cubical
 include:
   src
+-- libraries:
+--   libs/agda-stdlib
+--   libs/cubical