From 62680274c68ca6aa08c138d4c0fd12a09b73fe2a Mon Sep 17 00:00:00 2001
From: Pavel <operasfantom@gmail.com>
Date: Thu, 4 Aug 2022 12:36:15 +0400
Subject: Corrected wrong usage of klee_report_error in __cxa_atexit handler

---
 runtime/klee-libc/__cxa_atexit.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'runtime')

diff --git a/runtime/klee-libc/__cxa_atexit.c b/runtime/klee-libc/__cxa_atexit.c
index 027c2d0a..58939925 100644
--- a/runtime/klee-libc/__cxa_atexit.c
+++ b/runtime/klee-libc/__cxa_atexit.c
@@ -38,7 +38,7 @@ int __cxa_atexit(void (*fn)(void*),
     klee_report_error(__FILE__,
                       __LINE__,
                       "__cxa_atexit: no room in array!",
-                      "exec");
+                      "exec.err");
   
   AtExit[NumAtExit].fn = fn;
   AtExit[NumAtExit].arg = arg;
-- 
cgit 1.4.1