From e9c10b0e5ef6792ad85bb17c3c5038360066d19b Mon Sep 17 00:00:00 2001
From: Guillaume Claret <dev@clarus.me>
Date: Thu, 31 Aug 2017 08:29:05 +0200
Subject: [PATCH] Fix the import path of the interfaces

---
 src/interface.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/interface.ml b/src/interface.ml
index 14fa7b15..aa30b806 100644
--- a/src/interface.ml
+++ b/src/interface.ml
@@ -149,7 +149,7 @@ let of_file (file_name : string) : t =
     try open_in_bin file_name with
     | Sys_error _ ->
       open_in_bin (Filename.dirname Sys.executable_name ^
-        "/../share/coq:coq-of-ocaml/" ^ file_name) in
+        "/../share/coq-of-ocaml/" ^ file_name) in
   let size = in_channel_length file in
   let content = String.make size ' ' in
   really_input file content 0 size;