diff src/help.cc @ 2800:9aeba8e006a4

[project @ 1997-03-09 09:50:20 by jwe]
author jwe
date Sun, 09 Mar 1997 09:50:39 +0000
parents 18395aaeafb7
children eedc2f3f61f7
line wrap: on
line diff
--- a/src/help.cc
+++ b/src/help.cc
@@ -833,7 +833,7 @@
 
 		  assert (defn && defn->is_constant ());
 
-		  tree_constant *tmp = (tree_constant *) defn;
+		  tree_constant *tmp = static_cast<tree_constant *> (defn);
 
 		  int var_ok = 1;
 		  if (tmp && tmp->is_map ())