tiny tweak to fix a grammar error in error message

RedPRL / redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

Apache License 2.0

204 stars 12 forks source link

Closed jozefg closed 5 years ago

jozefg commented 5 years ago

I know it's trivial but I noticed it when messing around.

jozefg commented 5 years ago

I am also aware of the irony of me submitting a typo correction.

jonsterling commented 5 years ago

thanks!