From de4572d8fcd3e379be8de311c1a33dd454da139c Mon Sep 17 00:00:00 2001
From: Yanting Zhang <mmzyt@qq.com>
Date: Mon, 20 Jun 2022 22:05:14 +0800
Subject: [PATCH] Update always_statement.rs

---
 src/cst/always_statement.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/cst/always_statement.rs b/src/cst/always_statement.rs
index 4876844..df8034b 100644
--- a/src/cst/always_statement.rs
+++ b/src/cst/always_statement.rs
@@ -258,7 +258,11 @@ impl AlwaysStatement {
                             let eq = builder.ins().eq(prb, zero);
                             (String::from("negedge"), builder.ins().and(neq, eq))
                         }
-                        _ => (String::from("impledge"), builder.ins().neq(prb_init, prb)),
+                        _ => {
+                            let _neq = builder.ins().neq(prb_init, prb);
+                            context.syntax_table.insert_value(builder.unit(), _neq, json);
+                            (String::from("impledge"), builder.ins().neq(prb_init, prb))
+                        }
                     };
                     if i > 0 {
                         n = format!("{}{}", n, i);