diff options
Diffstat (limited to 'tactics/tauto.ml4')
| -rw-r--r-- | tactics/tauto.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/tauto.ml4 b/tactics/tauto.ml4 index fbae96651..8712b291e 100644 --- a/tactics/tauto.ml4 +++ b/tactics/tauto.ml4 @@ -298,7 +298,7 @@ let tauto_intuitionistic flags g = let coq_nnpp_path = let dir = List.map Id.of_string ["Classical_Prop";"Logic";"Coq"] in - Libnames.make_path (make_dirpath dir) (Id.of_string "NNPP") + Libnames.make_path (Dir_path.make dir) (Id.of_string "NNPP") let tauto_classical flags nnpp g = try tclTHEN (apply nnpp) (tauto_intuitionistic flags) g |