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	Fri Dec 06 22:18:55 2002 +0000
+++ b/src/toplev.cc	Fri Dec 06 22:34:47 2002 +0000
@@ -27,6 +27,7 @@
 #include <cassert>
 #include <cstdlib>
 #include <cstring>
+#include <new>
 
 #include <fstream>
 #include <iostream>