@@ -846,7 +846,7 @@ aiFn ist fc f as
846 Just (tm, given') -> PImp p l n tm : insertImpl ps given'
846 Just (tm, given') -> PImp p l n tm : insertImpl ps given'
847 Nothing -> PImp p l n Placeholder : insertImpl ps given
847 Nothing -> PImp p l n Placeholder : insertImpl ps given
848 insertImpl expected [] = []
848 insertImpl expected [] = []
849− insertImpl [] given = given
849+ insertImpl _ given = given
851 find n [] acc = Nothing
851 find n [] acc = Nothing
852 find n (PImp _ _ n' t : gs) acc
852 find n (PImp _ _ n' t : gs) acc