From 5cfa4af9c6e4d9703e3142c24ae78c7da0ac575f Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 4 May 2020 16:13:16 +0100
Subject: Add equality check for value

---
 src/translation/Veriloggen.v      | 2 +-
 src/translation/Veriloggenproof.v | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/translation')

diff --git a/src/translation/Veriloggen.v b/src/translation/Veriloggen.v
index 40876f7..f127b11 100644
--- a/src/translation/Veriloggen.v
+++ b/src/translation/Veriloggen.v
@@ -1,4 +1,4 @@
-(* -*- mode: coq -*-
+(*
  * CoqUp: Verified high-level synthesis.
  * Copyright (C) 2020 Yann Herklotz <yann@yannherklotz.com>
  *
diff --git a/src/translation/Veriloggenproof.v b/src/translation/Veriloggenproof.v
index cc884b4..942a83a 100644
--- a/src/translation/Veriloggenproof.v
+++ b/src/translation/Veriloggenproof.v
@@ -1,4 +1,4 @@
-(* -*- mode: coq -*-
+(*
  * CoqUp: Verified high-level synthesis.
  * Copyright (C) 2020 Yann Herklotz <yann@yannherklotz.com>
  *
-- 
cgit