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 | e177d0dd0db2639bd056e81296f2f0f5c930ad5f (patch) | |
| tree | 57e7694ac353640b75428a5601da1a33ed7b3cca /tests | |
| parent | 39310f94944779f726fdf389373dafb1c1e32a20 (diff) | |
Better subSgn error locations
Diffstat (limited to 'tests')
| -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 |