Remove leftover comment

This commit is contained in:
Eddie Hung 2019-06-20 10:15:04 -07:00
parent b98276fa61
commit b77322034c
1 changed files with 0 additions and 3 deletions

View File

@ -5,9 +5,6 @@ assign o = 1'bx;
endmodule
EOT
## Example usage for "pmuxtree" and "muxcover"
proc
## Equivalence checking