mirror of
https://github.com/github/semantic.git
synced 2024-12-01 09:15:01 +03:00
Erase the feature vectors from the copied portions of the diff.
This commit is contained in:
parent
86a5f2f077
commit
ddfadeaf6b
@ -110,7 +110,7 @@ rws compare as bs
|
||||
compared <- compare a b
|
||||
pure $! do
|
||||
put (i, IntMap.delete i unmappedA, IntMap.delete j unmappedB)
|
||||
pure (These i j, compared)
|
||||
pure (These i j, mapAnnotations (`setFeatureVector` Nothing) compared)
|
||||
|
||||
-- Returns a state (insertion index, old unmapped terms, new unmapped terms), and value of (index, inserted diff),
|
||||
-- given a previous index, two sets of umapped terms, and an unmapped term to insert.
|
||||
|
Loading…
Reference in New Issue
Block a user