From 9a127b83fbb1171ebd36e6f42780093412a5e91a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Wed, 17 Jul 2013 18:00:58 +0200
Subject: [PATCH] Add a bullet symbol.

---
 src/pretty.ml  | 1 +
 src/pretty.mli | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/pretty.ml b/src/pretty.ml
index e64edab..6d1dd46 100644
--- a/src/pretty.ml
+++ b/src/pretty.ml
@@ -86,6 +86,7 @@ let up_arrow = "↑"
 let right_arrow = "→"
 let left_arrow =  "←"
 let epsilon = "ϵ"
+let bullet = "•"
 let big_sigma = "∑"
 let cap = "∩"
 let cup = "∪"
diff --git a/src/pretty.mli b/src/pretty.mli
index ee828d5..96fb773 100644
--- a/src/pretty.mli
+++ b/src/pretty.mli
@@ -22,6 +22,7 @@ val up_arrow : string
 val right_arrow : string
 val left_arrow : string
 val epsilon : string
+val bullet : string
 val big_sigma : string
 val cap : string
 val cup : string
-- 
2.17.1