CI Errors

cbritopacheco · Aug 10, 2023 · 4eeed0e · 4eeed0e
1 parent 7ff8d13
commit 4eeed0e
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/src/Rodin/Alert/CMakeLists.txt b/src/Rodin/Alert/CMakeLists.txt
@@ -9,16 +9,13 @@ set(RodinAlert_HEADERS
   Exception.h
   Warning.h
   Info.h
-  Success.h
-  Notation/Arrow.h
-  )
+  Success.h)
 
 set(RodinAlert_SRCS
   Exception.cpp
   Warning.cpp
   Info.cpp
-  Success.cpp
-  )
+  Success.cpp)
 
 add_library(RodinAlert ${RodinAlert_SRCS} ${RodinAlert_HEADERS})
 add_library(Rodin::Alert ALIAS RodinAlert)