From a2aafb7de592a60a86add13e184396e07b75ab07 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 4 Feb 2020 19:50:29 +0000
Subject: Add Extraction

---
 extraction/Extraction.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'extraction')

diff --git a/extraction/Extraction.v b/extraction/Extraction.v
index 40bbe54..4c5f034 100644
--- a/extraction/Extraction.v
+++ b/extraction/Extraction.v
@@ -1,4 +1,4 @@
-Require Import Verilog.
+From CoqUp Require Import Verilog.
 
-Cd "src".
+Cd "extraction".
 Separate Extraction Verilog.nat_to_value Verilog.value_to_nat.
-- 
cgit