1
1
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00

🔥 a redundant import.

This commit is contained in:
Rob Rix 2019-10-11 09:13:48 -04:00
parent 57ab84bb46
commit 59d6deb005
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7

View File

@ -19,7 +19,6 @@ import qualified Hedgehog.Range as Range
import Control.Effect.Carrier
import qualified Core.Core as Core
import Core.Name
import Syntax.Term
-- The 'prune' call here ensures that we don't spend all our time just generating
-- fresh names for variables, since the length of variable names is not an