From cb09b2d30618b7e2cfa176f0070f40965db86786 Mon Sep 17 00:00:00 2001
From: Joshua Moerman <lakseru@gmail.com>
Date: Tue, 10 May 2016 11:57:27 +0200
Subject: [PATCH] Code: Fixes some warnings and made sure everything compiles
 out of the box (ghc 7.10)

---
 .gitignore           | 6 ++++++
 NominalAngluin.cabal | 1 +
 2 files changed, 7 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..0d49d6b
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,6 @@
+dist/
+.cabal-sandbox/
+*.o
+*.hi
+*.prof
+
diff --git a/NominalAngluin.cabal b/NominalAngluin.cabal
index 5b4becd..f6fcf69 100644
--- a/NominalAngluin.cabal
+++ b/NominalAngluin.cabal
@@ -22,6 +22,7 @@ executable NominalAngluin
   build-depends:
     base >=4.8 && <4.9,
     containers,
+    mtl,
     NLambda,
     readline
   hs-source-dirs:      src