summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-12 11:44:43 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-12 11:44:43 -0400
commitdb7a947275c7bcb44a095b25ccf95526af68d737 (patch)
treed2c3e249ae3f66b0dc3092b7dc465c606e4dae16 /tests
parent036679102be68e0f1bb12c3e9a354bb743fde219 (diff)
Basis indents and type-checks with new twiddle syntax
Diffstat (limited to 'tests')
-rw-r--r--tests/empty.urp2
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/empty.urp b/tests/empty.urp
new file mode 100644
index 00000000..7387128d
--- /dev/null
+++ b/tests/empty.urp
@@ -0,0 +1,2 @@
+debug
+