From 1122b922476d4aa0717c33c6f981778d9059c06e Mon Sep 17 00:00:00 2001
From: Neil Deo <neil@Neils-MacBook-Pro.local>
Date: Fri, 8 Aug 2025 11:08:20 -0700
Subject: [PATCH] Use hardtabs

---
 passes/sat/sim.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 7bfa22163..ca95fc401 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -2524,8 +2524,8 @@ struct AnnotateActivity : public OutputWriter {
 		std::vector<double_t> &clktoggleCounts = itr->second.toggleCounts;
 		double clk_period = real_timescale * (double)max_time / (clktoggleCounts[0] / 2.0);
 		double frequency = 1.0 / clk_period;
-    double density = clktoggleCounts[0] / (real_timescale * (double)max_time);
-    worker->top->module->set_string_attribute("$DENSITY", std::to_string(density));
+		double density = clktoggleCounts[0] / (real_timescale * (double)max_time);
+		worker->top->module->set_string_attribute("$DENSITY", std::to_string(density));
 		worker->top->module->set_string_attribute("$FREQUENCY", std::to_string(frequency));
 		worker->top->module->set_string_attribute("$DURATION", std::to_string(max_time));
 		std::stringstream ss;