adapted Syntax.const_name;

--- a/src/HOLCF/Tools/domain/domain_syntax.ML	Sat Mar 07 21:20:17 2009 +0100
+++ b/src/HOLCF/Tools/domain/domain_syntax.ML	Sat Mar 07 21:57:36 2009 +0100
@@ -75,7 +75,7 @@
 
 local open Syntax in
   local
-    fun c_ast con mx = Constant (const_name con mx);
+    fun c_ast con mx = Constant (Syntax.const_name mx con);
     fun expvar n     = Variable ("e"^(string_of_int n));
     fun argvar n m _ = Variable ("a"^(string_of_int n)^"_"^
 				     (string_of_int m));