From 921d0d9356625ad66c8168390426dc5b0de974c6 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Mon, 11 Jul 2016 13:59:27 -0400
Subject: [PATCH] Clean up the language extensions for the Term module.

---
 src/Term.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Term.hs b/src/Term.hs
index 37270fa27..0f59be970 100644
--- a/src/Term.hs
+++ b/src/Term.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DefaultSignatures, ScopedTypeVariables, RankNTypes, TypeFamilies, TypeOperators, TypeSynonymInstances #-}
+{-# LANGUAGE RankNTypes, TypeFamilies #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 module Term where