From e578da5c4f19af7446a48a9d78f45de51383d4ac Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Thu, 2 May 2013 21:21:22 -0400
Subject: Forum: Add upvote button

---
 forum/myOption.urs | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 forum/myOption.urs

(limited to 'forum/myOption.urs')

diff --git a/forum/myOption.urs b/forum/myOption.urs
new file mode 100644
index 0000000..890c31b
--- /dev/null
+++ b/forum/myOption.urs
@@ -0,0 +1 @@
+val getError : t ::: Type -> option t -> t
-- 
cgit v1.2.3