$NetBSD: patch-br,v 1.2 2007/09/07 21:26:31 spz Exp $

--- src/normalform/SetOfSymbol.cc.orig	2006-06-08 17:16:26.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"
@@ -271,7 +275,7 @@ void SetOfSymbol::operator =  (const Set
 
 void SetOfSymbol::add(ASt as) {
    char buffer[64];
-   sprintf(buffer, "AS%d", as);
+   asnum_string(buffer, as);
    add(symbols.symID(buffer));
 }
 
