Remove an unused extension

ndmitchell · ndmitchell · commit 8fe466b38606 · 2017-04-19T20:53:21.000+01:00
diff --git a/src/CmdLine.hs b/src/CmdLine.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE PatternGuards, RecordWildCards, DeriveDataTypeable #-}
+{-# LANGUAGE PatternGuards, DeriveDataTypeable #-}
 {-# OPTIONS_GHC -fno-warn-missing-fields -fno-cse -O0 #-}
 
 module CmdLine(

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-{-# LANGUAGE PatternGuards, RecordWildCards, DeriveDataTypeable #-}`
	`1`	`+{-# LANGUAGE PatternGuards, DeriveDataTypeable #-}`
`2`	`2`	`{-# OPTIONS_GHC -fno-warn-missing-fields -fno-cse -O0 #-}`
`3`	`3`
`4`	`4`	`module CmdLine(`