diff --git a/src/Term.hs b/src/Term.hs
index 918d3d304..d1970900d 100644
--- a/src/Term.hs
+++ b/src/Term.hs
@@ -1,5 +1,4 @@
 {-# LANGUAGE RankNTypes, TypeFamilies, TypeSynonymInstances, UndecidableInstances #-}
-{-# OPTIONS_GHC -fno-warn-orphans #-}
 module Term
 ( Term
 , TermF