From 450bda69837b02c20d2fb391bbe7827d1becaac4 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 14 Jul 2020 16:08:58 +0100
Subject: Change name to Vericert

---
 src/Compiler.v | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/Compiler.v')

diff --git a/src/Compiler.v b/src/Compiler.v
index d716caa..7b17336 100644
--- a/src/Compiler.v
+++ b/src/Compiler.v
@@ -1,5 +1,5 @@
 (*
- * CoqUp: Verified high-level synthesis.
+ * Vericert: Verified high-level synthesis.
  * Copyright (C) 2019-2020 Yann Herklotz <yann@yannherklotz.com>
  *
  * This program is free software: you can redistribute it and/or modify
@@ -16,7 +16,7 @@
  * along with this program.  If not, see <https://www.gnu.org/licenses/>.
  *)
 
-From coqup Require Import HTLgenproof.
+From vericert Require Import HTLgenproof.
 
 From compcert.common Require Import
     Errors
@@ -47,7 +47,7 @@ From compcert.cfrontend Require
 From compcert.driver Require
     Compiler.
 
-From coqup Require
+From vericert Require
      Verilog
      Veriloggen
      Veriloggenproof
-- 
cgit