mirror of
https://github.com/github/semantic.git
synced 2024-11-24 00:42:33 +03:00
🔥 a redundant import.
This commit is contained in:
parent
5df2222a15
commit
7ae14819c9
@ -10,7 +10,6 @@ import Data.Term
|
||||
import Diffing.Algorithm (comparableTerms)
|
||||
import Diffing.Interpreter (stripDiff)
|
||||
import Diffing.Algorithm.RWS
|
||||
import Diffing.Algorithm.SES
|
||||
import Diffing.Interpreter.Spec (afterTerm, beforeTerm)
|
||||
import Test.Hspec.LeanCheck
|
||||
import SpecHelpers
|
||||
|
Loading…
Reference in New Issue
Block a user