From 9c2efdde9c4b68e5314c4fb1c0dedcea0d138bb5 Mon Sep 17 00:00:00 2001
From: Valentin Blot <24938579+vblot@users.noreply.github.com>
Date: Thu, 25 Oct 2018 16:41:06 +0200
Subject: conversion tactics

---
 src/versions/standard/Make | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/versions/standard/Make')

diff --git a/src/versions/standard/Make b/src/versions/standard/Make
index 8defd9b..5322133 100644
--- a/src/versions/standard/Make
+++ b/src/versions/standard/Make
@@ -117,6 +117,7 @@ spl/Syntactic.v
 spl/Arithmetic.v
 spl/Operators.v
 
+Conversion_tactics.v
 Misc.v
 SMTCoq.v
 SMT_terms.v
-- 
cgit