Merge branch 'master' into startup

[factor.git] / basis / bootstrap / stage2.factor

diff --git a/basis/bootstrap/stage2.factor b/basis/bootstrap/stage2.factor
index 0b517c0e66f649fd0c4d1228d2d422fa52390b26..b011b41c4b8735fe50bacadb68fa3041de903b48 100644 (file)
--- a/basis/bootstrap/stage2.factor
+++ b/basis/bootstrap/stage2.factor
@@ -56,6 +56,7 @@ SYMBOL: bootstrap-time
     error-continuation set-global
     error set-global ; inline
 
+
 [
     ! We time bootstrap
     millis