From abf33a4075c2008bfcac3b04ad3b4dc1c57a4efd Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 17 Feb 2020 18:06:37 +0000
Subject: Add pretty printing for Verilog integrated with CompCert

---
 extraction/Extraction.v | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 extraction/Extraction.v

(limited to 'extraction/Extraction.v')

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.
-- 
cgit