diff --git a/sledge/model/llair_intrinsics.h b/sledge/model/llair_intrinsics.h
index 533ec1f11..daef770dc 100644
--- a/sledge/model/llair_intrinsics.h
+++ b/sledge/model/llair_intrinsics.h
@@ -16,6 +16,8 @@ __attribute__((noreturn)) void __llair_throw(void* thrown_exception);
 /* This models allocation that cannot fail. */
 void* __llair_alloc(unsigned size);
 
+int __llair_choice();
+
 #ifdef __cplusplus
 }
 #endif