blob: d49f2d0f4b4f960af0b9d553f11b8176f916fc88 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
$NetBSD: patch-br,v 1.1 2005/03/06 11:40:21 spz Exp $
--- src/normalform/SetOfSymbol.cc.orig 2004-07-30 12:58:13.000000000 +0200
+++ src/normalform/SetOfSymbol.cc
@@ -51,7 +51,11 @@
//
// Author(s): Cengiz Alaettinoglu <cengiz@ISI.EDU>
+#if (__GNUC__ > 2)
#include <ostream>
+#else
+#include <ostream.h>
+#endif
#include <cstdio>
#include <cassert>
#include "config.h"
|