From 71333a2d157b6a89830f9027e0861872a582d84b Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Sun, 5 Jan 2025 18:20:19 -0800
Subject: [PATCH] Fix comment and pragmas

---
 Documentation/SBV/Examples/KnuckleDragger/Numeric.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Documentation/SBV/Examples/KnuckleDragger/Numeric.hs b/Documentation/SBV/Examples/KnuckleDragger/Numeric.hs
index de023983..e4332d8e 100644
--- a/Documentation/SBV/Examples/KnuckleDragger/Numeric.hs
+++ b/Documentation/SBV/Examples/KnuckleDragger/Numeric.hs
@@ -6,12 +6,11 @@
 -- Maintainer: erkokl@gmail.com
 -- Stability : experimental
 --
--- Example use of the KnuckleDragger, for some inductive proofs over integers
+-- Example use of inductive KnuckleDragger proofs, over integers.
 -----------------------------------------------------------------------------
 
 {-# LANGUAGE DataKinds        #-}
 {-# LANGUAGE TypeAbstractions #-}
-{-# LANGUAGE ScopedTypeVariables #-}
 
 {-# OPTIONS_GHC -Wall -Werror #-}