diff options
Diffstat (limited to 'extraction/Extraction.v')
-rw-r--r-- | extraction/Extraction.v | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/extraction/Extraction.v b/extraction/Extraction.v deleted file mode 100644 index 4c5f034..0000000 --- a/extraction/Extraction.v +++ /dev/null @@ -1,4 +0,0 @@ -From CoqUp Require Import Verilog. - -Cd "extraction". -Separate Extraction Verilog.nat_to_value Verilog.value_to_nat. |