Fix the import path of the interfaces

formal-land · Aug 31, 2017 · e9c10b0 · e9c10b0
1 parent 736f5c6
commit e9c10b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;