print warning when redefining a word - #455

Open

jkotlinski wants to merge 3 commits into

redefine-warning

Commits on Aug 2, 2022

print warning when replacing a word
jkotlinski
committed
d21b3c9
replaced => redefined
jkotlinski
committed
9589c3c
end warning message with space
jkotlinski
committed
7fbb9ba