Unmatched comment delimiter

[ColonelJ]

This line has to be removed since the comment was already closed a couple of lines before:

mdnahas.github.io/doc/nahas_tutorial.v

Line 2209 in a14bb3d

*)