docs: fix errors in docs.md (#9119)

pull/9121/head
JalonSolov 2021-03-04 15:00:07 -05:00 committed by GitHub
parent 814998ec10
commit cce006b129
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -194,7 +194,7 @@ println('hello world')
Suppose you have a folder with several .v files in it, where one of them Suppose you have a folder with several .v files in it, where one of them
contains your `main()` function, and the other files have other helper contains your `main()` function, and the other files have other helper
functions. The may be organized by topic, but still *not yet* structured functions. They may be organized by topic, but still *not yet* structured
enough to be their own separate reusable modules, and you want to compile enough to be their own separate reusable modules, and you want to compile
them all into one program. them all into one program.