[hjl@valinux.com: Handle java_demangling?]

[H . J . Lu]

Shouldn't java_demangling be handled since we support it now?


-- 
H.J. Lu (hjl@valinux.com)
---
2000-11-16  H.J. Lu  <hjl@gnu.org>

	* cplus-dem.c (main): Handle java_demangling.

--- cplus-dem.c	Thu Nov 16 11:32:15 2000
+++ cplus-dem.c	Thu Nov 16 12:41:21 2000
@@ -5092,6 +5092,7 @@ main (argc, argv)
 	case gnu_demangling:
 	case lucid_demangling:
 	case arm_demangling:
+	case java_demangling:
 	case edg_demangling:
 	  valid_symbols = standard_symbol_characters ();
 	  break;