From 67df0c227be15f884db4883e0e70f80aa0aaa3c2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81rp=C3=A1d=20B=C5=B1rmen?= Date: Sat, 6 Jul 2024 23:24:11 +0200 Subject: [PATCH] Minor change. --- src/osdi/osdiregistry.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/osdi/osdiregistry.c b/src/osdi/osdiregistry.c index 62b4efbed..d865d7c52 100644 --- a/src/osdi/osdiregistry.c +++ b/src/osdi/osdiregistry.c @@ -392,7 +392,7 @@ 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>=v0.4 but \"%s\" uses v%d.%d!", + printf("NGSPICE supports OpenVAF-reloaded OSDI version >= 0.4 but \"%s\" uses v%d.%d!", path, OSDI_VERSION_MAJOR, OSDI_VERSION_MINOR); txfree(path); return INVALID_OBJECT;