From 06a9c7499ac8a2db9ca455fba21c1029f392553e Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 7 Sep 2022 09:40:14 +0200
Subject: [PATCH] verific: fix crash when using prep right after read

---
 frontends/verific/verific.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index e0dbe1b32..1a4e3fe91 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2248,6 +2248,9 @@ void verific_import(Design *design, const std::map<std::string,std::string> &par
 	for (const auto &i : parameters)
 		verific_params.Insert(i.first.c_str(), i.second.c_str());
 
+	YosysStreamCallBackHandler cb;
+	veri_file::RegisterCallBackVerificStream(&cb);
+
 #ifdef YOSYSHQ_VERIFIC_EXTENSIONS
 	VerificExtensions::ElaborateAndRewrite("work", &verific_params);
 #endif