diff --git a/test/known_problems/should_pass/poly_should_pass.erl b/test/known_problems/should_pass/poly_should_pass.erl index b40a313e..4831408c 100644 --- a/test/known_problems/should_pass/poly_should_pass.erl +++ b/test/known_problems/should_pass/poly_should_pass.erl @@ -2,7 +2,8 @@ -gradualizer([solve_constraints]). --export([find1/0, +-export([lookup/2, + find1/0, l/0]). -spec lookup(T1, [{T1, T2}]) -> (none | T2).