1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/KDAlloc/allocator.h b/include/klee/KDAlloc/allocator.h
index 45d90536..1e0d305a 100644
--- a/include/klee/KDAlloc/allocator.h
+++ b/include/klee/KDAlloc/allocator.h
@@ -153,7 +153,7 @@ public:
     if (bin < static_cast<int>(sizedBins.size())) {
       return sizedBins[bin].deallocate(control->sizedBins[bin], ptr);
     } else {
-      return largeObjectBin.deallocate(control->largeObjectBin, ptr, size);
+      return largeObjectBin.deallocate(control->largeObjectBin, ptr);
     }
   }