From c465fca007643eb16e4ec882f83d81f3caa172c1 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 23 Sep 2022 09:19:31 +0200
Subject: [PATCH] fix formatting

---
 frontends/verific/verific.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 9b9885916..6a614cbf5 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -155,8 +155,8 @@ Verific::Cell * yosys_verific_cell_callback(const char *cell_name)
 {
 	char *copy = strdup(cell_name);
 	char *part = strtok(copy, "(");
-    Verific::Libset *gls = Verific::Libset::Global() ;
-    Verific::Library *new_library = gls->GetLibrary("Yosys") ;
+	Verific::Libset *gls = Verific::Libset::Global() ;
+	Verific::Library *new_library = gls->GetLibrary("Yosys") ;
 	if (new_library) {
 		Verific::Cell *new_cell = new_library->GetCell(cell_name);
 		if (!new_cell) {