From 7af295b2ec22f06b24079bf895ac97079f64b6d7 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Thu, 9 Feb 2017 20:03:33 +0100 Subject: It's starting to "properly" reply... The ACSL coverage is far behind though. --- src/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/CMakeLists.txt') diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 25cacc2..33a89cf 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1,7 +1,7 @@ add_subdirectory(core) +add_subdirectory(error) add_subdirectory(knowledge) add_subdirectory(parameters) -add_subdirectory(pipe) add_subdirectory(sequence) add_subdirectory(server) add_subdirectory(storage) -- cgit v1.2.3-70-g09d2