From 1cdf3b8257d1fbd1ba0bff67656163ae3f153774 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 2 Apr 2020 22:17:32 +0100
Subject: Fix extraction on linux

---
 src/extraction/Extraction.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/extraction')

diff --git a/src/extraction/Extraction.v b/src/extraction/Extraction.v
index c7ebf8e..ff0b8ba 100644
--- a/src/extraction/Extraction.v
+++ b/src/extraction/Extraction.v
@@ -164,7 +164,7 @@ Extract Inlined Constant Bracket.inbetween_loc => "fun _ -> assert false".
 (* Needed in Coq 8.4 to avoid problems with Function definitions. *)
 Set Extraction AccessOpaque.
 
-Cd "src/Extraction".
+Cd "src/extraction".
 Separate Extraction
          Verilog.module Verilog.valueToZ coqup.Compiler.transf_hls
 
-- 
cgit