diff --git a/src/ChangeLog b/src/ChangeLog
index fb2d875eb2603da9af8696d3c7972bd8cdac958f..d3c5ffaff587168df3325a186032456e1647e743 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2013-07-21  Paul Eggert  <eggert@cs.ucla.edu>
+
+	* alloc.c (make_save_ptr_ptr): Define this function.
+	It was inadvertently omitted.  It's needed only if
+	HAVE_MENUS && ! (USE_X_TOOLKIT || USE_GTK).
+
 2013-07-21  Jan Djärv  <jan.h.d@swipnet.se>
 
 	* nsterm.m (sendEvent:): Skip mouse moved if no dialog and no Emacs
diff --git a/src/alloc.c b/src/alloc.c
index 4c924f7238462d8d9c21567f5682ab88d5f6e4b6..e6e06794dbc0d1bb5768ab24b18bba56a2e68358 100644
--- a/src/alloc.c
+++ b/src/alloc.c
@@ -3394,6 +3394,19 @@ make_save_ptr_int (void *a, ptrdiff_t b)
   return val;
 }
 
+#if defined HAVE_MENUS && ! (defined USE_X_TOOLKIT || defined USE_GTK)
+Lisp_Object
+make_save_ptr_ptr (void *a, void *b)
+{
+  Lisp_Object val = allocate_misc (Lisp_Misc_Save_Value);
+  struct Lisp_Save_Value *p = XSAVE_VALUE (val);
+  p->save_type = SAVE_TYPE_PTR_PTR;
+  p->data[0].pointer = a;
+  p->data[1].pointer = b;
+  return val;
+}
+#endif
+
 Lisp_Object
 make_save_funcptr_ptr_obj (void (*a) (void), void *b, Lisp_Object c)
 {