minor

SRI-CSL · Oct 4, 2023 · 0401d9f · 0401d9f
1 parent 912af05
commit 0401d9f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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);
 }