# HG changeset patch
# User wenzelm
# Date 1236459456 -3600
# Node ID 78d08e2d01b9b3d8601de0151a516aaf2a700c0a
# Parent  60b2c50420d2b08c9454ab5121a644378369efe8
adapted Syntax.const_name;

diff -r 60b2c50420d2 -r 78d08e2d01b9 src/HOLCF/Tools/domain/domain_syntax.ML
--- 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));