From ba084db1ab0307d96d7cae0fa087eb0c6d6f3679 Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <mcsinyx@disroot.org>
Date: Thu, 30 Mar 2023 19:57:43 +0900
Subject: Receive instrumented revision number

---
 lib/Core/SpecialFunctionHandler.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/Core/SpecialFunctionHandler.h')

diff --git a/lib/Core/SpecialFunctionHandler.h b/lib/Core/SpecialFunctionHandler.h
index 3fdbf8f8..be0bc7d2 100644
--- a/lib/Core/SpecialFunctionHandler.h
+++ b/lib/Core/SpecialFunctionHandler.h
@@ -101,6 +101,7 @@ namespace klee {
     HANDLER(handleMalloc);
     HANDLER(handleMemalign);
     HANDLER(handleMarkGlobal);
+    HANDLER(handleMarkPatch);
     HANDLER(handleOpenMerge);
     HANDLER(handleCloseMerge);
     HANDLER(handleNew);
-- 
cgit 1.4.1