From 1e509eda4fa81af3f5954f50345dd3bc88c9252c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 9 Oct 2008 00:11:33 +0000
Subject: 	SF/1872404 fixed. 	* testsuite/compiler/1872404.spad:
 New.

---
 src/ChangeLog                       | 7 ++++++-
 src/testsuite/compiler/1872404.spad | 9 +++++++++
 2 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 src/testsuite/compiler/1872404.spad

diff --git a/src/ChangeLog b/src/ChangeLog
index 427f872c..82504bb8 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,7 +1,12 @@
+2008-10-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	SF/1872404 fixed.
+	* testsuite/compiler/1872404.spad: New.
+
 2008-10-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	SF/1872445 fixed.
-	* testsuite/compiler/1872445.spad: 
+	* testsuite/compiler/1872445.spad: New.
 
 2008-10-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
diff --git a/src/testsuite/compiler/1872404.spad b/src/testsuite/compiler/1872404.spad
new file mode 100644
index 00000000..591bca7b
--- /dev/null
+++ b/src/testsuite/compiler/1872404.spad
@@ -0,0 +1,9 @@
+-- Contributed by Luke Wagner
+)abbrev domain TEST Test
+Test() : with
+    foo : INT -> INT
+  == add
+    Rep := Union(blah, INT)
+    foo i ==
+      i
+
-- 
cgit v1.2.3