@@ -118,7 +118,7 @@ mutual
118||| list of values from `p`, along with a proof that the resulting list is
118||| list of values from `p`, along with a proof that the resulting list is
119||| non-empty.
119||| non-empty.
120someTill' : {c : Bool} ->
120someTill' : {c : Bool} ->
121− (end : Grammar tok c a) ->
121+ (end : Grammar tok c e) ->
122 (p : Grammar tok True a) ->
122 (p : Grammar tok True a) ->
123 Grammar tok True (xs : List a ** NonEmpty xs)
123 Grammar tok True (xs : List a ** NonEmpty xs)
124someTill' end p
124someTill' end p