X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ftrace-table.lisp;h=1abbee462292dfe7606e7b09ebdda4e06391c74b;hb=872175cd9cb5b4966a36d4bd92421cc407a0355b;hp=b25f0a18486f33396c60961edf63b5dcf0b1fe94;hpb=95a6db7329b91dd90d165dd4057b9b5098d34aa2;p=sbcl.git

diff --git a/src/compiler/trace-table.lisp b/src/compiler/trace-table.lisp
index b25f0a1..1abbee4 100644
--- a/src/compiler/trace-table.lisp
+++ b/src/compiler/trace-table.lisp
@@ -59,7 +59,7 @@
 		 (let* ((posn (label-position (car entry)))
 			(state (cdr entry)))
 		   (declare (type index posn) (type tt-state state))
-		   (assert (<= last-posn posn))
+		   (aver (<= last-posn posn))
 		   (do ((offset (- posn last-posn) (- offset tt-max-offset)))
 		   ((< offset tt-max-offset)
 		    (push-entry offset state))