Remove errors.h from cabal file.

nick8325 · Sep 3, 2017 · 640fc6a · 640fc6a
1 parent a7a0fc9
commit 640fc6a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/twee.cabal b/twee.cabal
@@ -9,7 +9,7 @@ maintainer:          [email protected]
 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.