From 2243443c407a1e951265a9252bac3d3b9b830cbb Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 22 Feb 2021 18:42:11 +0000
Subject: Fix arguments to RBassign and piped

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

(limited to 'src/hls/RTLPargen.v')

diff --git a/src/hls/RTLPargen.v b/src/hls/RTLPargen.v
index 97ec9aa..aaabe5d 100644
--- a/src/hls/RTLPargen.v
+++ b/src/hls/RTLPargen.v
@@ -577,7 +577,7 @@ Definition update (f : forest) (i : instr) : forest :=
     f # Mem <- (Estore (f # Mem) chunk addr (list_translation rl f) (f # (Reg r)))
   | RBsetpred c addr p => f
   | RBpiped p fu args => f
-  | RBassign p fu dst => f
+  | RBassign p fu src dst => f
   end.
 
 (*|
-- 
cgit