diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-10-15 14:27:38 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-15 14:27:38 -0400 |
commit | 64783736b3c002c095640c0bf16b48994a44869c (patch) | |
tree | 57e7694ac353640b75428a5601da1a33ed7b3cca /tests/functor.urp | |
parent | 96548bd3b3b7305d2e7ae2a1b17da9080467e410 (diff) |
Better subSgn error locations
Diffstat (limited to 'tests/functor.urp')
-rw-r--r-- | tests/functor.urp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/functor.urp b/tests/functor.urp new file mode 100644 index 00000000..eedc7bfb --- /dev/null +++ b/tests/functor.urp @@ -0,0 +1,3 @@ +debug + +functor |