From fed8f69b682c03ff901966890efd2d9d3ea91004 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 24 Jul 2017 18:40:27 +0200
Subject: Fix library hardwired prefix.

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

(limited to 'src')

diff --git a/src/tac2env.ml b/src/tac2env.ml
index 5ccdd018ee..08c7b321be 100644
--- a/src/tac2env.ml
+++ b/src/tac2env.ml
@@ -235,7 +235,7 @@ let interp_ml_object t = MLType.obj t
 (** Absolute paths *)
 
 let coq_prefix =
-  MPfile (DirPath.make (List.map Id.of_string ["Init"; "ltac2"; "Coq"]))
+  MPfile (DirPath.make (List.map Id.of_string ["Init"; "Ltac2"]))
 
 (** Generic arguments *)
 
-- 
cgit v1.2.3