diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml
index 5c8ff8249..816554f76 100644
--- a/sledge/src/llair/frontend.ml
+++ b/sledge/src/llair/frontend.ml
@@ -952,7 +952,8 @@ let xlate_instr :
           emit_inst (Llair.Inst.memmov ~dst ~src ~len ~loc)
       (* dropped / handled elsewhere *)
       | ["llvm"; "dbg"; ("declare" | "value")]
-       |"llvm" :: ("lifetime" | "invariant") :: ("start" | "end") :: _ ->
+       |"llvm" :: ("lifetime" | "invariant") :: ("start" | "end") :: _
+       |["llvm"; "trap"] ->
           nop ()
       (* unimplemented *)
       | ["llvm"; ("stacksave" | "stackrestore")] ->