diff options
| -rw-r--r-- | src/tac2env.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 *) |