diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-30 17:27:13 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-31 00:27:13 +0000 |
| commit | 4e1c3c1c12103ef5d3f2cb3d873247bb66716287 (patch) | |
| tree | 6dc43cc88b33891af743f99b72f17397cf0918c9 /src/CMakeLists.txt | |
| parent | 7ff3e6300f3adb64867b636c7638ee4e8b00ce5a (diff) | |
FP: Move implementation of type rules from header to .cpp file. (#6241)
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 41a6a0df5..645cf3c79 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -622,6 +622,7 @@ libcvc4_add_sources( theory/fp/theory_fp_rewriter.cpp theory/fp/theory_fp_rewriter.h theory/fp/theory_fp_type_rules.h + theory/fp/theory_fp_type_rules.cpp theory/fp/type_enumerator.h theory/interrupted.h theory/inference_id.cpp |