Update src/Language/Dung/AF.hs

nebasuke · Copilot · web-flow · commit f62fdec2036d · 2026-02-08T00:15:56.000Z
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/src/Language/Dung/AF.hs b/src/Language/Dung/AF.hs
@@ -1,4 +1,3 @@
-{-# OPTIONS_GHC -Wno-name-shadowing #-}
 -- | This module implements Dung's argumentation frameworks.
 module Language.Dung.AF
  (

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,3 @@`
`1`		`-{-# OPTIONS_GHC -Wno-name-shadowing #-}`
`2`	`1`	`-- \| This module implements Dung's argumentation frameworks.`
`3`	`2`	`module Language.Dung.AF`
`4`	`3`	`(`