From d07807de6125691dac01bc7f061beff7322ad374 Mon Sep 17 00:00:00 2001 From: sp Date: Sat, 6 Jan 2024 12:11:22 +0100 Subject: [PATCH] added PrismFormulaPrinter to CMakeLists --- util/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/util/CMakeLists.txt b/util/CMakeLists.txt index 877fde4..5d8bf56 100644 --- a/util/CMakeLists.txt +++ b/util/CMakeLists.txt @@ -3,6 +3,7 @@ list(APPEND SRCS ${CMAKE_CURRENT_LIST_DIR}/MinigridGrammar.h ${CMAKE_CURRENT_LIST_DIR}/Grid.cpp ${CMAKE_CURRENT_LIST_DIR}/PrismModulesPrinter.cpp + ${CMAKE_CURRENT_LIST_DIR}/PrismFormulaPrinter.cpp ${CMAKE_CURRENT_LIST_DIR}/popl.hpp ${CMAKE_CURRENT_LIST_DIR}/OptionParser.cpp ${CMAKE_CURRENT_LIST_DIR}/ConfigYaml.cpp