diff --git a/prototype/DoubtTests/RangedTerm.swift b/prototype/DoubtTests/RangedTerm.swift index b1309d248..dc1a69f7a 100644 --- a/prototype/DoubtTests/RangedTerm.swift +++ b/prototype/DoubtTests/RangedTerm.swift @@ -76,6 +76,7 @@ struct UnannotatedTerm { extension UnannotatedTerm: Arbitrary { static var arbitrary: Gen { + let symbol: Gen = Gen.choose((0, 15)).fmap { "_\($0)" } let leaf: Gen = String.arbitrary.fmap { Term((), .Leaf($0)) } let indexed: Gen = Gen.sized { n in Gen.choose((0, n)).bind { n in