diff --git a/addrcheck/ac_main.c b/addrcheck/ac_main.c
index 00b35dc..be85c3a 100644
--- a/addrcheck/ac_main.c
+++ b/addrcheck/ac_main.c
@@ -1035,6 +1035,7 @@
             tl_assert(isAtom(aexpr));
             hsz    = sizeofIRType(typeOfIRExpr(bb_in->tyenv, data));
 	    isLoad = False;
+            break;
 
          case Ist_Put:
             tl_assert(isAtom(st->Ist.Put.data));