Fix quicksort_partition_help

This commit is contained in:
Richard Feldman 2020-11-20 23:22:36 -05:00
parent 7e5fde1d15
commit d0f52cb27e

View file

@ -3500,7 +3500,7 @@ mod solve_expr {
infer_eq_without_problem(
indoc!(
r#"
app "test" provides [ main ] to "./platform"
app "test" provides [ partitionHelp ] to "./platform"
swap : Int, Int, List a -> List a
swap = \i, j, list ->