diff --git a/pub/libvex_guest_x86.h b/pub/libvex_guest_x86.h
index efa6433..c6e67a7 100644
--- a/pub/libvex_guest_x86.h
+++ b/pub/libvex_guest_x86.h
@@ -132,6 +132,8 @@
 extern 
 UInt vex_to_eflags ( /*IN*/VexGuestX86State* vex_state );
 
+extern
+void vex_initialise_x87 ( /*MOD*/VexGuestX86State* vex_state );
 
 #endif /* ndef __LIBVEX_PUB_GUEST_X86_H */