Commit 4df299f3 authored by Stefan Jaax's avatar Stefan Jaax
Browse files

Return success even if not verified

parent ec0b1872
......@@ -223,7 +223,7 @@ main = do
Satisfied ->
exitSuccessWith $ "All properties " ++ show r
_ ->
exitFailureWith $ "Some properties " ++ show r
exitSuccessWith $ "Some properties " ++ show r
exitSuccessWith :: String -> IO ()
exitSuccessWith msg = do
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment