From 0401d9fea9ccd150b337656c60544f2e7c785b08 Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <ahmed.irfan@sri.com>
Date: Tue, 3 Oct 2023 20:06:31 -0700
Subject: [PATCH] minor

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

diff --git a/src/utils/error.c b/src/utils/error.c
index 55df07ad6..ceb0b0cdf 100644
--- a/src/utils/error.c
+++ b/src/utils/error.c
@@ -32,10 +32,10 @@ void perror_fatal_code(const char *s, int err) {
   
 #ifdef MINGW
   fprintf(stderr, "%s: %s\n", s, strerror(err));
-  exit(YICES_EXIT_INTERNAL_ERROR);
 #else
   strerror_r(err, buffer, sizeof(buffer));
   fprintf(stderr, "%s: %s\n", s, buffer);
-  exit(YICES_EXIT_INTERNAL_ERROR);
 #endif
+
+  exit(YICES_EXIT_INTERNAL_ERROR);
 }