diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml
index 86bfcc7c2..f9e0c488f 100644
--- a/sledge/src/llair/frontend.ml
+++ b/sledge/src/llair/frontend.ml
@@ -1037,6 +1037,8 @@ let xlate_instr :
       | ["__llair_throw"] ->
           let dst = Llair.Jump.mk unwind_dst args in
           emit_term (Llair.Term.goto ~dst ~loc)
+      | ["abort"] ->
+          emit_term ~prefix:[Llair.Inst.abort ~loc] Llair.Term.unreachable
       | ["_Znwm" (* operator new(size_t num) *)]
        |[ "_ZnwmSt11align_val_t"
           (* operator new(unsigned long num, std::align_val_t) *) ]