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