FIX add goto-harness to set_properties list

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit ff0da3a2f7ff · 2019-01-25T15:35:26.000Z
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -61,6 +61,7 @@ set_target_properties(
     goto-checker
     goto-diff
     goto-diff-lib
+    goto-harness
     goto-instrument
     goto-instrument-lib
     goto-programs
