From 843e95cddc24725e718c4f78470ca01a1f8a4ff2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 9 Mar 2016 15:56:23 -0800
Subject: [PATCH] updating CMakeLists file, hope it works :-)

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 contrib/cmake/src/tactic/core/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/contrib/cmake/src/tactic/core/CMakeLists.txt b/contrib/cmake/src/tactic/core/CMakeLists.txt
index d59265c5c..ed3a84edf 100644
--- a/contrib/cmake/src/tactic/core/CMakeLists.txt
+++ b/contrib/cmake/src/tactic/core/CMakeLists.txt
@@ -18,6 +18,7 @@ z3_add_component(core_tactics
     split_clause_tactic.cpp
     symmetry_reduce_tactic.cpp
     tseitin_cnf_tactic.cpp
+    collect_occs.cpp
   COMPONENT_DEPENDENCIES
     normal_forms
     tactic