diff src/defaults.cc @ 2390:c2c1482c34c8

[project @ 1996-10-12 19:13:23 by jwe]
author jwe
date Sat, 12 Oct 1996 19:23:38 +0000
parents 88a4d3580427
children dc870b8b229f
line wrap: on
line diff
--- a/src/defaults.cc	Sat Oct 12 19:10:07 1996 +0000
+++ b/src/defaults.cc	Sat Oct 12 19:23:38 1996 +0000
@@ -46,7 +46,7 @@
 #include "error.h"
 #include "gripes.h"
 #include "help.h"
-#include "pt-const.h"
+#include "ov.h"
 #include "toplev.h"
 #include "variables.h"
 #include "version.h"