summaryrefslogtreecommitdiff
path: root/tests/unpoly.urp
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-03-16 10:09:01 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-03-16 10:09:01 -0400
commite5e7bbaaae9cde0981c77e488a29e730876964ba (patch)
tree32012eb864854a36e74947956e1133ce84cd64a7 /tests/unpoly.urp
parenta00e028f21afd87ef9dd3ed143f52fe648275d45 (diff)
Undo an Especialize change that turned out to be unecessary
Diffstat (limited to 'tests/unpoly.urp')
-rw-r--r--tests/unpoly.urp2
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/unpoly.urp b/tests/unpoly.urp
new file mode 100644
index 00000000..106bd20d
--- /dev/null
+++ b/tests/unpoly.urp
@@ -0,0 +1,2 @@
+$/list
+unpoly