diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-16 17:57:55 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 385b9961186691c0618754bc9b0f49458c20445d (patch) | |
| tree | 634d9174c690eb69a9af7126a835289d57259408 /src/parser | |
| parent | fccf3d6251ea174b9cacd185202b9411c8f159ef (diff) | |
cmake: Fix some includes.
Diffstat (limited to 'src/parser')
| -rw-r--r-- | src/parser/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/CMakeLists.txt b/src/parser/CMakeLists.txt index bc8861ea8..ce4b354f3 100644 --- a/src/parser/CMakeLists.txt +++ b/src/parser/CMakeLists.txt @@ -29,7 +29,7 @@ target_link_libraries(cvc4parser parsercvc parsersmt1 parsersmt2 parsertptp cvc4 target_link_libraries(cvc4parser ${ANTLR_LIBRARIES}) # ANTLR includes required for all subdirectories -include_directories(cvc4parser PRIVATE ${ANTLR_INCLUDE_DIR}) +include_directories(${ANTLR_INCLUDE_DIR}) add_subdirectory(cvc) add_subdirectory(smt1) add_subdirectory(smt2) |