Undo spurious change

release/4.3a0
Ankur Roy Chowdhury 2023-03-02 14:08:24 -08:00
parent f95ffed82e
commit 683523d36b
1 changed files with 3 additions and 3 deletions

View File

@ -95,12 +95,12 @@ add_subdirectory(gtsam)
# Build Tests
add_subdirectory(tests)
# Build timing
add_subdirectory(timing)
# Build examples
add_subdirectory(examples)
# Build timing
add_subdirectory(timing)
# Build gtsam_unstable
if (GTSAM_BUILD_UNSTABLE)
add_subdirectory(gtsam_unstable)