From 3e89b60784c2e381aa54e502b0bb744025aaf4c1 Mon Sep 17 00:00:00 2001 From: zakuro Date: Wed, 2 Jun 2021 22:10:15 +0900 Subject: [PATCH] vast: accept .vv file (#10305) --- cmd/tools/vast/vast.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cmd/tools/vast/vast.v b/cmd/tools/vast/vast.v index 3acac5e8df..912f89e3c1 100644 --- a/cmd/tools/vast/vast.v +++ b/cmd/tools/vast/vast.v @@ -73,7 +73,7 @@ fn get_abs_path(path string) string { // check file is v file and exists fn check_file(file string) { - if os.file_ext(file) !in ['.v', '.vsh'] { + if os.file_ext(file) !in ['.v', '.vv', '.vsh'] { panic('the file `$file` must be a v file or vsh file') } if !os.exists(file) {