dummy whitespace to rebuild saw-core prelude

GaloisInc · Apr 11, 2023 · 38da747 · 38da747
1 parent 405770b
commit 38da747
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/saw-core/src/Verifier/SAW/Prelude.hs b/saw-core/src/Verifier/SAW/Prelude.hs
@@ -27,7 +27,6 @@ import Verifier.SAW.FiniteValue
 import Verifier.SAW.Simulator.Concrete (evalSharedTerm)
 import Verifier.SAW.Simulator.Value (asFirstOrderTypeValue)
 
-
 $(defineModuleFromFileWithFns
   "preludeModule" "scLoadPreludeModule" "prelude/Prelude.sawcore")