From 77f718fea849b389a8fd4c2b1dc2b5d6f7c39508 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 11 Jul 2021 15:43:06 +0200
Subject: Add legup script

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

(limited to 'src/hls')

diff --git a/src/hls/HTLPargen.v b/src/hls/HTLPargen.v
index 7ce6c7a..eda597a 100644
--- a/src/hls/HTLPargen.v
+++ b/src/hls/HTLPargen.v
@@ -641,7 +641,7 @@ Definition add_control_instr_force_state_incr :
        s.(st_arrdecls)
        s.(st_datapath)
        (AssocMap.set n st s.(st_controllogic))).
-Admitted.
+Abort.
 
 Definition add_control_instr_force (n : node) (st : stmnt) : mon unit :=
   fun s =>
-- 
cgit