From 3738391bddc60a4c228ed732ec86df893cf4ed11 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Fri, 24 Apr 2020 05:44:39 +0000
Subject: [PATCH] cxxrtl: fix handling of parametric modules with large
 parameters.

These have a `$paramod$` prefix, not `$paramod\\`.
---
 backends/cxxrtl/cxxrtl.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/cxxrtl/cxxrtl.cc b/backends/cxxrtl/cxxrtl.cc
index 237700b29..89e58622c 100644
--- a/backends/cxxrtl/cxxrtl.cc
+++ b/backends/cxxrtl/cxxrtl.cc
@@ -212,7 +212,7 @@ bool is_ff_cell(RTLIL::IdString type)
 
 bool is_internal_cell(RTLIL::IdString type)
 {
-	return type[0] == '$' && !type.begins_with("$paramod\\");
+	return type[0] == '$' && !type.begins_with("$paramod");
 }
 
 bool is_cxxrtl_blackbox_cell(const RTLIL::Cell *cell)