From 45ed95d91ea4b431ef8fd3820ab7bc653b11fdef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81rp=C3=A1d=20B=C5=B1rmen?= <arpad.buermen@gmail.com>
Date: Sat, 6 Jul 2024 23:20:07 +0200
Subject: [PATCH] Minor change.

---
 src/osdi/osdiregistry.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/osdi/osdiregistry.c b/src/osdi/osdiregistry.c
index 2d5080ee0..0e8c431b5 100644
--- a/src/osdi/osdiregistry.c
+++ b/src/osdi/osdiregistry.c
@@ -392,9 +392,9 @@ extern OsdiObjectFile load_object_file(const char *input) {
       (OSDI_VERSION_MAJOR == 0 && OSDI_VERSION_MINOR >= 4) ||
       OSDI_VERSION_MAJOR >= 1
     )) {
-      printf("NGSPICE supports OpenVAF-reloaded OSDI >= 0.4 but \"%s\" uses v%d.%d!",
+      printf("NGSPICE supports OpenVAF-reloaded OSDI>=0.4 but \"%s\" uses v%d.%d!",
         path, OSDI_VERSION_MAJOR, OSDI_VERSION_MINOR);
-      txfree(path);
+      txfree(path); 
       return INVALID_OBJECT;
     }
     descriptor_size = *OSDI_DESCRIPTOR_SIZE;