From b877c962caa73ae29be01a4dd28c7a82ac7600d3 Mon Sep 17 00:00:00 2001
From: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
Date: Wed, 23 Aug 2017 10:27:55 +0000
Subject: [PATCH] injectivity: Add tactic to CMake-based builds

---
 src/tactic/core/CMakeLists.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/tactic/core/CMakeLists.txt b/src/tactic/core/CMakeLists.txt
index 1f766bd47..f192b4fa6 100644
--- a/src/tactic/core/CMakeLists.txt
+++ b/src/tactic/core/CMakeLists.txt
@@ -9,6 +9,7 @@ z3_add_component(core_tactics
     distribute_forall_tactic.cpp
     elim_term_ite_tactic.cpp
     elim_uncnstr_tactic.cpp
+    injectivity_tactic.cpp
     nnf_tactic.cpp
     occf_tactic.cpp
     pb_preprocess_tactic.cpp
@@ -22,6 +23,7 @@ z3_add_component(core_tactics
     collect_occs.cpp
   COMPONENT_DEPENDENCIES
     normal_forms
+    rewriter
     tactic
   TACTIC_HEADERS
     blast_term_ite_tactic.h
@@ -32,6 +34,7 @@ z3_add_component(core_tactics
     distribute_forall_tactic.h
     elim_term_ite_tactic.h
     elim_uncnstr_tactic.h
+    injectivity_tactic.h
     nnf_tactic.h
     occf_tactic.h
     pb_preprocess_tactic.h