X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fdefboot.lisp;h=149997fced65bcb2f612444836361d7c54664058;hb=f9aaac53a4a43ebae198f53079857acb2d628eb0;hp=f05fb0a8f104ba3ab49b9b7ace78a304020a8762;hpb=504959cef381a69a727263ba2a70108f133f8900;p=sbcl.git

diff --git a/src/code/defboot.lisp b/src/code/defboot.lisp
index f05fb0a..149997f 100644
--- a/src/code/defboot.lisp
+++ b/src/code/defboot.lisp
@@ -584,10 +584,8 @@
 					`(let ((,(caaddr annotated-case)
 						,var))
 					   ,@body))
-				       ((not (cdr body))
-					(car body))
 				       (t
-					`(progn ,@body)))))))
+					`(locally ,@body)))))))
 		   annotated-cases))))))))
 
 ;;;; miscellaneous