From 236627cdf081e51fce3bc54fdee4e40d4f6ca85e Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 14 Jun 2016 00:08:14 +0200
Subject: Moving UTF-8 related functions to Unicode module.

---
 ltacprof/profile_ltac.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ltacprof')

diff --git a/ltacprof/profile_ltac.ml b/ltacprof/profile_ltac.ml
index 97d74ad80f..41bde12b18 100644
--- a/ltacprof/profile_ltac.ml
+++ b/ltacprof/profile_ltac.ml
@@ -1,3 +1,4 @@
+open Unicode
 open Pp
 open Printer
 open Util
-- 
cgit v1.2.3