diff src/toplev.cc @ 4221:a7d8e5dd87ad

[project @ 2002-12-06 22:34:47 by jwe]
author jwe
date Fri, 06 Dec 2002 22:34:47 +0000
parents 301cc4cf87e9
children ccfdb55c8156
line wrap: on
line diff
--- a/src/toplev.cc
+++ b/src/toplev.cc
@@ -27,6 +27,7 @@
 #include <cassert>
 #include <cstdlib>
 #include <cstring>
+#include <new>
 
 #include <fstream>
 #include <iostream>