summaryrefslogtreecommitdiff
path: root/tests/dynSpan.urp
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-04 11:46:24 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-04 11:46:24 -0400
commit0e5d32d1caf9b4267c76193fc787e12ea7691fc8 (patch)
tree3979ccacac613495cad0e9aa5a76e8d8fba76b7b /tests/dynSpan.urp
parent6059e157bd5b18742f8546d5231150b061a24d1b (diff)
Checking spans in dyns
Diffstat (limited to 'tests/dynSpan.urp')
-rw-r--r--tests/dynSpan.urp3
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/dynSpan.urp b/tests/dynSpan.urp
new file mode 100644
index 00000000..611dc313
--- /dev/null
+++ b/tests/dynSpan.urp
@@ -0,0 +1,3 @@
+debug
+
+dynSpan