lib/browser/GraphBrowser/Spline.java

--- a/lib/browser/GraphBrowser/Spline.java	Thu Apr 29 18:34:30 1999 +0200
+++ b/lib/browser/GraphBrowser/Spline.java	Thu Apr 29 22:42:38 1999 +0200
@@ -104,7 +104,7 @@
 		g.drawLine(p.x,p.y,end.x,end.y);
 	}
 
-	public void PS(PrintStream p) {
+	public void PS(PrintWriter p) {
 		Point p0,p1,p2;
 		int i;