From 281a033e92306ba227e647fad80dcc89f47d6854 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 23 Oct 2015 20:08:33 +0200
Subject: [PATCH] Added support for ":" as comment symbol after ;-parsing

---
 kernel/register.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/register.cc b/kernel/register.cc
index 6bcee8581..49a67324d 100644
--- a/kernel/register.cc
+++ b/kernel/register.cc
@@ -209,7 +209,7 @@ void Pass::call(RTLIL::Design *design, std::string command)
 
 void Pass::call(RTLIL::Design *design, std::vector<std::string> args)
 {
-	if (args.size() == 0 || args[0][0] == '#')
+	if (args.size() == 0 || args[0][0] == '#' || args[0][0] == ':')
 		return;
 
 	if (echo_mode) {
-- 
2.30.2