mirror of https://github.com/efabless/caravel.git
3 lines
39 B
Coq
3 lines
39 B
Coq
|
module copyright_block_a ();
|
||
|
endmodule
|