From aa2cf888707b2a78168d9d5dc6a22d22fb1f8627 Mon Sep 17 00:00:00 2001
From: Mik Igor <136681630+htm23x@users.noreply.github.com>
Date: Fri, 27 Oct 2023 01:35:04 +0200
Subject: [PATCH] Fix tabs/spaces in globals.py

Some tabs/extra spaces were inserted accidentally by GitHub text editor in the tech_name param validation, so has to remove them.
---
 compiler/globals.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/globals.py b/compiler/globals.py
index 6c983ec3..9a1189e0 100644
--- a/compiler/globals.py
+++ b/compiler/globals.py
@@ -571,7 +571,7 @@ def import_tech():
                 tech_found = tech_dir
                 break;
                 
-	# If the tech_name param specified by the user is not present in the technology folder, emit an error and quit
+    # If the tech_name param specified by the user is not present in the technology folder, emit an error and quit
     if (tech_found is None):
         debug.error(f"You specified \'tech_name={OPTS.tech_name}\' in your config file, but that technology is not present in the technologies folder!")
         quit()