summaryrefslogtreecommitdiff
path: root/tests/mutual.urp
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-16 15:14:17 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-16 15:14:17 -0400
commitd2c553882cd29b3f0265b1e73916a83afb4edd59 (patch)
tree6d35712f3fc54d19a3d1a605a45840ded71a914e /tests/mutual.urp
parentbaaf89aa8df00acd5de624155043d9eecf32de5c (diff)
Mutual datatypes through Elaborate
Diffstat (limited to 'tests/mutual.urp')
-rw-r--r--tests/mutual.urp3
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/mutual.urp b/tests/mutual.urp
new file mode 100644
index 00000000..90e2a576
--- /dev/null
+++ b/tests/mutual.urp
@@ -0,0 +1,3 @@
+debug
+
+mutual