From 69b27911ad4fc44ed204a0cf540b65a4b210cd92 Mon Sep 17 00:00:00 2001
From: o1lo01ol1o <tim.pierson@gmail.com>
Date: Wed, 12 Jan 2022 10:43:48 +0000
Subject: [PATCH] use latest cubical

---
 TheHoTTGame.agda-lib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/TheHoTTGame.agda-lib b/TheHoTTGame.agda-lib
index 0fefef7..8f1b321 100644
--- a/TheHoTTGame.agda-lib
+++ b/TheHoTTGame.agda-lib
@@ -1,4 +1,4 @@
 name: TheHoTTGame
 include: .
-depend: cubical-0.3
+depend: cubical
 flags: --cubical --no-import-sorts