# HG changeset patch
# User jwe
# Date 821444002 0
# Node ID cff4135a32a41aea28f62d304a1c557a6cab0fd1
# Parent  e1ebb280814009b4d7b3d6132b4b3b5914a192cb
[project @ 1996-01-12 10:53:22 by jwe]

diff --git a/src/oct-map.h b/src/oct-map.h
--- a/src/oct-map.h
+++ b/src/oct-map.h
@@ -30,7 +30,7 @@
 
 #include "Map.h"
 
-#include "tree-const.h"
+#include "pt-const.h"
 
 class
 Octave_map : public CHMap<tree_constant>