changeset 30341 | 78d08e2d01b9 |
parent 30280 | eb98b49ef835 |
child 30364 | 577edc39b501 |
--- 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));