From 1016ee0df2a459881d6f9930f7b72929e8bdc8b8 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Mon, 1 Jun 2009 16:34:44 +0000
Subject: Kill off klee_malloc_n, we don't want to support this.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72693 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Core/SpecialFunctionHandler.h | 1 -
 1 file changed, 1 deletion(-)

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

diff --git a/lib/Core/SpecialFunctionHandler.h b/lib/Core/SpecialFunctionHandler.h
index d5d1af93..37792faf 100644
--- a/lib/Core/SpecialFunctionHandler.h
+++ b/lib/Core/SpecialFunctionHandler.h
@@ -82,7 +82,6 @@ namespace klee {
     HANDLER(handleIsSymbolic);
     HANDLER(handleMakeSymbolic);
     HANDLER(handleMalloc);
-    HANDLER(handleMallocN);
     HANDLER(handleMarkGlobal);
     HANDLER(handleMerge);
     HANDLER(handleNew);
-- 
cgit 1.4.1