src/CCL/CCL.ML
changeset 3935 52c14fe8f16b
parent 3837 d7f033c74b38
child 4347 d683b7898c61
--- a/src/CCL/CCL.ML	Mon Oct 20 10:39:26 1997 +0200
+++ b/src/CCL/CCL.ML	Mon Oct 20 10:48:22 1997 +0200
@@ -87,7 +87,7 @@
          | arg_str 1 a s = "(" ^ a ^ "a" ^ s ^ ")"
          | arg_str n a s = arg_str (n-1) a ("," ^ a ^ (chr((ord "a")+n-1)) ^ s);
            val sg = sign_of thy;
-           val T = case Sign.const_type sg sy of
+           val T = case Sign.const_type sg (Sign.intern_const (sign_of thy) sy) of
                             None => error(sy^" not declared") | Some(T) => T;
            val arity = length (fst (strip_type T));
        in sy ^ (arg_str arity name "") end;