copilot-theorem: Whitespace realignment only. Refs Copilot-Language#495.

Author: RyanGlScott

copilot-theorem/src/Copilot/Theorem/Kind2/Output.hs

@@ -19,9 +19,9 @@ parseOutput :: String    -- ^ Property whose validity is being checked.
 parseOutput prop xml = fromJust $ do
   root <- parseXMLDoc xml
   case findAnswer . findPropTag $ root of
-    "valid"   -> return (Output Valid   [])
+    "valid"       -> return (Output Valid   [])
     "falsifiable" -> return (Output Invalid [])
-    s         -> err $ "Unrecognized status : " ++ s
+    s             -> err $ "Unrecognized status : " ++ s
 
   where