]> gitweb.factorcode.org Git - factor.git/commit
regexp.disambiguate: use sets:refine.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 7 Dec 2020 20:12:56 +0000 (12:12 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 7 Dec 2020 20:12:56 +0000 (12:12 -0800)
commit705e87f56ce855c894b9f8614c160ed547b9da20
tree811c679292073c89a08ca00f43ca44d6fc5c1e4d
parentc26fadbb7132f9f4868042ad423a04b32a7bee55
regexp.disambiguate: use sets:refine.
basis/regexp/disambiguate/disambiguate.factor