From ff578ecabddc4f29eee15d5bf0da96087b32cfcb Mon Sep 17 00:00:00 2001
From: Ethan Mahintorabi <ethanmoon@google.com>
Date: Mon, 5 Feb 2024 07:23:04 +0000
Subject: [PATCH] fix formatting

Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
---
 frontends/verific/verific.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index a809af21a..dff9c777b 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -351,7 +351,7 @@ RTLIL::SigBit VerificImporter::netToSigBit(Verific::Net *net) {
 	else if (net && net->IsX())
 		return RTLIL::State::Sx;
 	else if (net)
-			return net_map_at(net);
+		return net_map_at(net);
 	else
 		return RTLIL::State::Sz;
 }