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