From 17b4c204355cde7d8a17dbc018905c26021658d5 Mon Sep 17 00:00:00 2001
From: Joel Dice <git@seibutsu.mailsnare.net>
Date: Mon, 16 Feb 2009 19:48:29 -0700
Subject: [PATCH] fix windows build

---
 src/windows.cpp | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/windows.cpp b/src/windows.cpp
index 59c6bbacce..f5b7f014e6 100644
--- a/src/windows.cpp
+++ b/src/windows.cpp
@@ -55,14 +55,6 @@ run(void* r)
   return 0;
 }
 
-void*
-allocate(System* s, unsigned size)
-{
-  void* p = s->tryAllocate(size);
-  if (p == 0) abort();
-  return p;
-}
-
 const bool Verbose = false;
 
 const unsigned Waiting = 1 << 0;