# HG changeset patch
# User jwe
# Date 1039214087 0
# Node ID a7d8e5dd87ad8126f40dc2d1f2365410ed18134e
# Parent  c20a1e67cef6fa41d953c797417137201cf1e203
[project @ 2002-12-06 22:34:47 by jwe]

diff --git a/src/toplev.cc b/src/toplev.cc
--- a/src/toplev.cc
+++ b/src/toplev.cc
@@ -27,6 +27,7 @@
 #include <cassert>
 #include <cstdlib>
 #include <cstring>
+#include <new>
 
 #include <fstream>
 #include <iostream>