changeset 4221:a7d8e5dd87ad

[project @ 2002-12-06 22:34:47 by jwe]
author jwe
date Fri, 06 Dec 2002 22:34:47 +0000
parents c20a1e67cef6
children 1363b7e9bf3a
files src/toplev.cc
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
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>