From 90f8d1bebc14a4a9153ffa9ec33c97f21cd0d560 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 19 Aug 2010 17:28:52 -0400 Subject: Polymorphic variants --- tests/pvar.urp | 1 + 1 file changed, 1 insertion(+) create mode 100644 tests/pvar.urp (limited to 'tests/pvar.urp') diff --git a/tests/pvar.urp b/tests/pvar.urp new file mode 100644 index 00000000..f86c4a2e --- /dev/null +++ b/tests/pvar.urp @@ -0,0 +1 @@ +pvar -- cgit v1.2.3