about summary refs log tree commit diff homepage
path: root/lib/Core/SpecialFunctionHandler.h
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2009-06-01 16:34:44 +0000
committerDaniel Dunbar <daniel@zuster.org>2009-06-01 16:34:44 +0000
commit1016ee0df2a459881d6f9930f7b72929e8bdc8b8 (patch)
tree284f947b6ccb4df3aeb319dedd8eac820bcc2b67 /lib/Core/SpecialFunctionHandler.h
parentaca72ee7ebadf396d815f6c4983697e76e408268 (diff)
downloadklee-1016ee0df2a459881d6f9930f7b72929e8bdc8b8.tar.gz
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
Diffstat (limited to 'lib/Core/SpecialFunctionHandler.h')
-rw-r--r--lib/Core/SpecialFunctionHandler.h1
1 files changed, 0 insertions, 1 deletions
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);