[BUG] Documentation error; `grammar-rename-nts` omits a parameter

morazanm / fsm

A DSL for the Automata Theory Classroom

15 stars 6 forks source link

[BUG] Documentation error; `grammar-rename-nts` omits a parameter #16

Closed jasonhemann closed 2 years ago

jasonhemann commented 2 years ago

Describe the bug Currently, the documentation available [here]() omits the first parameter of grammar-rename-nts, the variables to rename away from, and following the documented behavior signals an error.

(grammar-rename-nts g) → grammar

I imagine should be

(grammar-rename-nts (listof nts) g) → grammar

morazanm commented 2 years ago

Fixed in commit 68efeec9a9a58f336fcc2e82960430ec72aaf362.