From 8a43f41ed60e11106e464f90d2be371f724019cd Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Fri, 15 Feb 2019 18:33:52 -0500
Subject: [PATCH] Fix $value$plus$args missing verilated_heavy.h.

---
 Changes                | 2 ++
 src/V3EmitCInlines.cpp | 6 ++++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/Changes b/Changes
index fa39566b9..c0a4e143e 100644
--- a/Changes
+++ b/Changes
@@ -8,6 +8,8 @@ The contributors that suggested a given feature are shown in []. Thanks!
 
 ****  Fix VERILATOR_GDB being ignored, msg2860. [Yu Sheng Lin]
 
+****  Fix $value$plus$args missing verilated_heavy.h. [Yi-Chung Chen]
+
 
 * Verilator 4.010 2019-01-27
 
diff --git a/src/V3EmitCInlines.cpp b/src/V3EmitCInlines.cpp
index 3fd11e609..4c5157e15 100644
--- a/src/V3EmitCInlines.cpp
+++ b/src/V3EmitCInlines.cpp
@@ -46,9 +46,11 @@ class EmitCInlines : EmitCBaseVisitor {
             v3Global.needHeavy(true);
         }
     }
+    virtual void visit(AstValuePlusArgs* nodep) {
+        v3Global.needHeavy(true);
+        iterateChildren(nodep);
+    }
 
-    // NOPs
-    virtual void visit(AstNodeStmt*) {}
     // Default
     virtual void visit(AstNode* nodep) {
         iterateChildren(nodep);