From 80f914241a6f9a356f539e6451d88dfdade2e7ea Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 3 Jul 2008 22:38:06 +0000
Subject: 	Fix AW/428 	* algebra/syntax.spad.pamphlet
 (ConstructorCall): Now a member of 	SetCategory. 	(Domain): Likewise. 
 * share/algebra: Update databases. 	* testsuite/interpreter/aw-428.input:
 New.

---
 src/testsuite/interpreter/aw-428.input | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 src/testsuite/interpreter/aw-428.input

(limited to 'src/testsuite')

diff --git a/src/testsuite/interpreter/aw-428.input b/src/testsuite/interpreter/aw-428.input
new file mode 100644
index 00000000..9d8f23fc
--- /dev/null
+++ b/src/testsuite/interpreter/aw-428.input
@@ -0,0 +1,5 @@
+V1 := DirectProduct(3+4,Integer)
+V2 := DirectProduct(7,Integer)
+V1 = V2
+%::Boolean
+(Integer=Float)@Boolean
-- 
cgit v1.2.3