From e13f3d92af517c6caeceec77f7bdaf4560323a17 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 24 Apr 2018 15:01:05 +0100
Subject: [PATCH] Updated CMakelists.txt

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

diff --git a/src/tactic/fpa/CMakeLists.txt b/src/tactic/fpa/CMakeLists.txt
index a54212235..c647df7fc 100644
--- a/src/tactic/fpa/CMakeLists.txt
+++ b/src/tactic/fpa/CMakeLists.txt
@@ -3,6 +3,7 @@ z3_add_component(fpa_tactics
     fpa2bv_model_converter.cpp
     fpa2bv_tactic.cpp
     qffp_tactic.cpp
+    qffplra_tactic.cpp
   COMPONENT_DEPENDENCIES
     arith_tactics
     bv_tactics
@@ -14,4 +15,5 @@ z3_add_component(fpa_tactics
   TACTIC_HEADERS
     fpa2bv_tactic.h
     qffp_tactic.h
+    qffplra_tactic.h
 )