From 5887704d9c27d5b9ff7cd3f9cb2d6cfe128ad864 Mon Sep 17 00:00:00 2001
From: Auke Booij <auke@tulcod.com>
Date: Wed, 14 Oct 2015 13:32:45 +0100
Subject: [PATCH] Rename executable to cubical (as in Makefile)

---
 cubicaltt.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cubicaltt.cabal b/cubicaltt.cabal
index cdb0512..6ed8fb8 100644
--- a/cubicaltt.cabal
+++ b/cubicaltt.cabal
@@ -15,7 +15,7 @@ build-type:          Custom
 extra-source-files:  README.md
 cabal-version:       >=1.10
 
-executable cubicaltt
+executable cubical
   main-is:             Main.hs
   other-modules:       Exp.Lex, Exp.Par
   other-extensions:    TypeSynonymInstances, FlexibleInstances, GeneralizedNewtypeDeriving, TupleSections, CPP, MagicHash
-- 
2.34.1