diff src/sysdep.cc @ 2370:a45c7d64b5e3

[project @ 1996-10-11 23:51:15 by jwe]
author jwe
date Fri, 11 Oct 1996 23:55:30 +0000
parents 8c09c04f7747
children f667d7ec08b9
line wrap: on
line diff
--- a/src/sysdep.cc	Fri Oct 11 23:47:46 1996 +0000
+++ b/src/sysdep.cc	Fri Oct 11 23:55:30 1996 +0000
@@ -81,7 +81,7 @@
 #include "mappers.h"
 #include "oct-obj.h"
 #include "pathlen.h"
-#include "pt-const.h"
+#include "ov.h"
 #include "sysdep.h"
 #include "toplev.h"
 #include "utils.h"