whitespace

GaloisInc · Aug 12, 2022 · 9ca6b13 · 9ca6b13
1 parent f7052e8
commit 9ca6b13
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/SAWScript/Proof.hs b/src/SAWScript/Proof.hs
@@ -1087,7 +1087,7 @@ propToSATQuery sc unintSet prop =
                Nothing -> fail $ "propToSATQuery: expected EqTrue, actual:\n" ++ showTerm tm'
                Just tmBool -> return (UniversalAssert (reverse vars) (reverse xs) tmBool)
 
-    processAssert mmap tp = 
+    processAssert mmap tp =
       case asEqTrue tp of
         Just x -> return (BoolAssert x)
         _ -> processUnivAssert mmap [] [] tp