From 640fc6ad4b303921db11fe904fc2289b1a75596f Mon Sep 17 00:00:00 2001
From: Nick Smallbone <nick@smallbone.se>
Date: Sun, 3 Sep 2017 16:55:12 +0100
Subject: [PATCH] Remove errors.h from cabal file.

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

diff --git a/twee.cabal b/twee.cabal
index 0e99c30..8b1dae4 100644
--- a/twee.cabal
+++ b/twee.cabal
@@ -9,7 +9,7 @@ maintainer:          nicsma@chalmers.se
 category:            Theorem Provers
 build-type:          Simple
 cabal-version:       >=1.10
-extra-source-files:  README src/errors.h tests/*.p
+extra-source-files:  README tests/*.p
 description:
    Twee is an experimental equational theorem prover based on
    Knuth-Bendix completion.