From 3af3140e5ed6480f25d5927af2e5067a3220c066 Mon Sep 17 00:00:00 2001
From: Yang Lin <yanglin@smail.nju.edu.cn>
Date: Fri, 14 Nov 2025 14:34:05 +0800
Subject: [PATCH] correct the return code of `extraction` function to be the
 argument of `sys.exit`

---
 wllvm/extractor.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/wllvm/extractor.py b/wllvm/extractor.py
index 9d08a9c..5a967b9 100755
--- a/wllvm/extractor.py
+++ b/wllvm/extractor.py
@@ -30,10 +30,11 @@ def main():
     """ The entry point to extract-bc.
     """
     try:
-        extraction()
+        rc = extraction()
     except Exception:
+        rc = 1
         pass
-    return 0
+    return rc
 
 if __name__ == '__main__':
     sys.exit(main())