From 6a7db2f84b6f8b2a1729092cc5259c576aff0ded Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 9 Feb 2009 01:05:41 +0000
Subject: 	* interp/i-spec2.boot (constantInDomain?): Move from
 i-coerce.boot. 	(findConstructor$Constructor): Take constant type as
 argument. 	(upDollar): Tidy.

---
 src/doc/msgs/s2-us.msgs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/doc/msgs')

diff --git a/src/doc/msgs/s2-us.msgs b/src/doc/msgs/s2-us.msgs
index e02d5667..5774dbd8 100644
--- a/src/doc/msgs/s2-us.msgs
+++ b/src/doc/msgs/s2-us.msgs
@@ -74,6 +74,8 @@ S2IB0008f
  operations.
  Perhaps package-calling the operation or using coercions on the
  arguments will allow you to apply the operation.
+S2IB0008h
+ The constant %1b from domain %2pb is ambiguous.
 S2IB0009
  OpenAxiom will attempt to step through and interpret the code.
 S2IB0010
-- 
cgit v1.2.3