diff src/file-io.cc @ 4649:f7ce581b27fb

[project @ 2003-11-23 21:46:44 by jwe]
author jwe
date Sun, 23 Nov 2003 21:46:44 +0000
parents ef3a14fb6847
children 7bed0ef1a6ad
line wrap: on
line diff
--- a/src/file-io.cc	Sun Nov 23 19:36:33 2003 +0000
+++ b/src/file-io.cc	Sun Nov 23 21:46:44 2003 +0000
@@ -63,9 +63,9 @@
 #include "oct-prcstrm.h"
 #include "oct-stream.h"
 #include "oct-strstrm.h"
-#include "ov-streamoff.h"
 #include "pager.h"
 #include "pt-plot.h"
+#include "so-array.h"
 #include "sysdep.h"
 #include "utils.h"
 #include "variables.h"