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.ur | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 forum/myOption.ur

(limited to 'forum/myOption.ur')

diff --git a/forum/myOption.ur b/forum/myOption.ur
new file mode 100644
index 0000000..e859454
--- /dev/null
+++ b/forum/myOption.ur
@@ -0,0 +1,4 @@
+fun getError [t] maybe =
+    case maybe of
+	None => error <xml>Attempted to extract a value out of a None</xml>
+      | Some v => v
-- 
cgit v1.2.3