From: Auke Booij <auke@tulcod.com>
Date: Wed, 14 Oct 2015 12:32:45 +0000 (+0100)
Subject: Rename executable to cubical (as in Makefile)
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=5887704d9c27d5b9ff7cd3f9cb2d6cfe128ad864;p=cubicaltt.git

Rename executable to cubical (as in Makefile)
---

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