From b2381acceb345b85f9dd03d2213bc24b08b16ea2 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sat, 15 Oct 2016 21:42:20 +0100
Subject: [PATCH] Unbreak the CMake build broken by
 009af4455d60e0affb376e36f48e3ab42fcf67d0

The commit added an additional source file and dependency but the
corresponding changes weren't added to the CMake build.
---
 contrib/cmake/src/ast/fpa/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/contrib/cmake/src/ast/fpa/CMakeLists.txt b/contrib/cmake/src/ast/fpa/CMakeLists.txt
index 7369a9b3d..4a9506d16 100644
--- a/contrib/cmake/src/ast/fpa/CMakeLists.txt
+++ b/contrib/cmake/src/ast/fpa/CMakeLists.txt
@@ -1,10 +1,12 @@
 z3_add_component(fpa
   SOURCES
+    bv2fpa_converter.cpp
     fpa2bv_converter.cpp
     fpa2bv_rewriter.cpp
   COMPONENT_DEPENDENCIES
     ast
     simplifier
+    model
     util
   PYG_FILES
     fpa2bv_rewriter_params.pyg