From 0646108378678dfe9043b004bae38718e6ef7f73 Mon Sep 17 00:00:00 2001
From: Grégoire Duchêne <gduchene@awhk.org>
Date: Mon, 6 Oct 2014 00:07:38 +0200
Subject: [REBME] First draft of the API

---
 src/Common.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/Common.ml')

diff --git a/src/Common.ml b/src/Common.ml
index 6f7c5f4..8f8d8d6 100644
--- a/src/Common.ml
+++ b/src/Common.ml
@@ -198,3 +198,7 @@ let lift3 (type a) (type b) (type c) (type d)
   function
   | [x; y; z] -> Obj.repr @$ f (cast a x) (cast b y) (cast c z)
   | xs        -> unsupported_arity 3 @$ List.length xs
+
+let string_of_string_option = function
+  | Some str -> str
+  | None     -> ""
-- 
cgit v1.2.3-70-g09d2