From 7ad9dec6c2f52109898c64b37dc9dd1a1027349e Mon Sep 17 00:00:00 2001
From: Mikolas Janota <mikolas.janota@gmail.com>
Date: Wed, 6 Apr 2016 11:03:21 +0100
Subject: [PATCH] Adding cpp files for bv_trailing to CMakeLists.

---
 contrib/cmake/src/ast/rewriter/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/contrib/cmake/src/ast/rewriter/CMakeLists.txt b/contrib/cmake/src/ast/rewriter/CMakeLists.txt
index 921cace75..14bcebf46 100644
--- a/contrib/cmake/src/ast/rewriter/CMakeLists.txt
+++ b/contrib/cmake/src/ast/rewriter/CMakeLists.txt
@@ -20,6 +20,8 @@ z3_add_component(rewriter
     seq_rewriter.cpp
     th_rewriter.cpp
     var_subst.cpp
+    bv_trailing.cpp
+    mk_extract_proc.cpp
   COMPONENT_DEPENDENCIES
     ast
     automata