summaryrefslogtreecommitdiff
path: root/src/lib/repr/default.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/lib/repr/default.ml')
-rw-r--r--src/lib/repr/default.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lib/repr/default.ml b/src/lib/repr/default.ml
index 22a023f..9daa4fb 100644
--- a/src/lib/repr/default.ml
+++ b/src/lib/repr/default.ml
@@ -4,6 +4,8 @@ type t = string
let none = ""
+let space s = s
+
let a = "a"
and a_nasal = "@"