Tweak pagination.

diff --git a/src/runtime/tagging.scm b/src/runtime/tagging.scm
index 5cd0a05ab6f2e0c5349308ad1bcec73e10fe9b55..7efcd7bd1ddf1cc63ef89c930a903f55616a0920 100644 (file)
--- a/src/runtime/tagging.scm
+++ b/src/runtime/tagging.scm
@@ -28,7 +28,7 @@ USA.
 ;;; package: (runtime tagging)
 
 (declare (usual-integrations))
-\f
+
 ;;; TODO(cph): eliminate after 9.3 release:
 (define tagged-object-type #x25)