diff src/eig.cc @ 1740:fe9d3b2ded26

[project @ 1996-01-12 11:03:26 by jwe]
author jwe
date Fri, 12 Jan 1996 11:04:49 +0000
parents f85887dfe06c
children e62277bf5fe0
line wrap: on
line diff
--- a/src/eig.cc
+++ b/src/eig.cc
@@ -31,7 +31,7 @@
 #include "error.h"
 #include "gripes.h"
 #include "help.h"
-#include "tree-const.h"
+#include "oct-obj.h"
 #include "user-prefs.h"
 #include "utils.h"