diff --git a/frontends/ast/ast.cc b/frontends/ast/ast.cc
index a027295e979..33c94cfa6b6 100644
--- a/frontends/ast/ast.cc
+++ b/frontends/ast/ast.cc
@@ -641,11 +641,20 @@ void AstNode::dumpVlog(FILE *f, std::string indent) const
 	if (0) { case AST_NEG:         txt = "-";  }
 	if (0) { case AST_LOGIC_NOT:   txt = "!";  }
 	if (0) { case AST_SELFSZ:      txt = "@selfsz@";  }
+	if (0) { case AST_TO_SIGNED:   txt = "signed'";  }
+	if (0) { case AST_TO_UNSIGNED: txt = "unsigned'";  }
 		fprintf(f, "%s(", txt.c_str());
 		children[0]->dumpVlog(f, "");
 		fprintf(f, ")");
 		break;
 
+	case AST_CAST_SIZE:
+		children[0]->dumpVlog(f, "");
+		fprintf(f, "'(");
+		children[1]->dumpVlog(f, "");
+		fprintf(f, ")");
+		break;
+
 	if (0) { case AST_BIT_AND:      txt = "&";   }
 	if (0) { case AST_BIT_OR:       txt = "|";   }
 	if (0) { case AST_BIT_XOR:      txt = "^";   }