Fix spacing on verifySimulate

GaloisInc · Aug 7, 2020 · 462346f · 462346f
1 parent cd0a2c6
commit 462346f
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/SAWScript/Crucible/LLVM/Builtins.hs b/src/SAWScript/Crucible/LLVM/Builtins.hs
@@ -1029,10 +1029,10 @@ verifySimulate ::
   MS.CrucibleMethodSpecIR (LLVM arch) ->
   [(Crucible.MemType, LLVMVal)] ->
   [Crucible.LabeledPred Term Crucible.AssumptionReason] ->
-  W4.ProgramLoc                 ->
-  [MS.CrucibleMethodSpecIR (LLVM arch)]        ->
-  Crucible.SymGlobalState Sym   ->
-  Bool                          ->
+  W4.ProgramLoc ->
+  [MS.CrucibleMethodSpecIR (LLVM arch)] ->
+  Crucible.SymGlobalState Sym ->
+  Bool ->
   Maybe (IORef (Map Text.Text [Crucible.FunctionProfile])) ->
   IO (Maybe (Crucible.MemType, LLVMVal), Crucible.SymGlobalState Sym)
 verifySimulate opts cc pfs mspec args assumes top_loc lemmas globals checkSat asp =