From 8b9b1be48a9c83f70cbfb70f52eabc616065fa1e Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 17 Oct 2018 02:02:20 +0200
Subject: [build] Add dune file + fix warnings.

This allows to drop the ltac2 folder inside the Coq dir and have it
compose with the Coq build.

I've fixed build warnings by the way.
---
 src/tac2intern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/tac2intern.ml')

diff --git a/src/tac2intern.ml b/src/tac2intern.ml
index ff8fb4c0f4..fe615853ce 100644
--- a/src/tac2intern.ml
+++ b/src/tac2intern.ml
@@ -19,7 +19,7 @@ open Tac2expr
 
 (** Hardwired types and constants *)
 
-let coq_type n = KerName.make2 Tac2env.coq_prefix (Label.make n)
+let coq_type n = KerName.make Tac2env.coq_prefix (Label.make n)
 
 let t_int = coq_type "int"
 let t_string = coq_type "string"
-- 
cgit v1.2.3