From e177d0dd0db2639bd056e81296f2f0f5c930ad5f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 15 Oct 2009 14:27:38 -0400 Subject: Better subSgn error locations --- tests/functor.urp | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 tests/functor.urp (limited to 'tests/functor.urp') 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 -- cgit v1.2.3